Searched refs:SWITCHER_PGD_INDEX (Results 1 – 1 of 1) sorted by relevance
59 #define SWITCHER_PGD_INDEX (PTRS_PER_PGD - 1) macro101 if (index >= SWITCHER_PGD_INDEX) { in spgd_addr()122 if (pgd_index(vaddr) == SWITCHER_PGD_INDEX && in spmd_addr()690 SWITCHER_PGD_INDEX, in new_pgdir()755 spgd = lg->pgdirs[i].pgdir + SWITCHER_PGD_INDEX; in release_all_pagetables()766 for (j = 0; j < SWITCHER_PGD_INDEX; j++) in release_all_pagetables()904 if (idx >= SWITCHER_PGD_INDEX) in guest_set_pgd()1078 set_pgd(pgd + SWITCHER_PGD_INDEX, in init_guest_pagetable()1109 if (pgd_index(cpu->lg->kernel_address) == SWITCHER_PGD_INDEX && in page_table_guest_data_init()1112 if (pgd_index(cpu->lg->kernel_address) >= SWITCHER_PGD_INDEX) in page_table_guest_data_init()[all …]