Searched refs:SWITCHER_PMD_INDEX (Results 1 – 1 of 1) sorted by relevance
66 #define SWITCHER_PMD_INDEX (PTRS_PER_PMD - 1) macro123 index >= SWITCHER_PMD_INDEX) { in spmd_addr()762 for (k = 0; k < SWITCHER_PMD_INDEX; k++) in release_all_pagetables()1110 pmd_index(cpu->lg->kernel_address) == SWITCHER_PMD_INDEX) in page_table_guest_data_init()1156 set_pmd(&pmd_table[SWITCHER_PMD_INDEX], switcher_pmd); in map_switcher_in_guest()