Searched refs:switcher_pgd (Results 1 – 1 of 1) sorted by relevance
1048 pgd_t switcher_pgd; in map_switcher_in_guest() local1054 switcher_pgd = __pgd(__pa(switcher_pte_page) | __PAGE_KERNEL_EXEC); in map_switcher_in_guest()1056 cpu->lg->pgdirs[cpu->cpu_pgd].pgdir[SWITCHER_PGD_INDEX] = switcher_pgd; in map_switcher_in_guest()