Home
last modified time | relevance | path

Searched refs:switcher_pgd (Results 1 – 1 of 1) sorted by relevance

/linux-2.6.39/drivers/lguest/
Dpage_tables.c1158 pgd_t switcher_pgd; in map_switcher_in_guest() local
1164 switcher_pgd = __pgd(__pa(switcher_pte_page) | __PAGE_KERNEL_EXEC); in map_switcher_in_guest()
1166 cpu->lg->pgdirs[cpu->cpu_pgd].pgdir[SWITCHER_PGD_INDEX] = switcher_pgd; in map_switcher_in_guest()