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