Searched defs:switcher_pte_page (Results 1 – 1 of 1) sorted by relevance
79 #define switcher_pte_page(cpu) per_cpu(switcher_pte_pages, cpu) macro1030 pte_t *switcher_pte_page = __this_cpu_read(switcher_pte_pages); in map_switcher_in_guest() local