Searched refs:switcher_pte_page (Results 1 – 1 of 1) sorted by relevance
80 #define switcher_pte_page(cpu) per_cpu(switcher_pte_pages, cpu) macro1140 pte_t *switcher_pte_page = __this_cpu_read(switcher_pte_pages); in map_switcher_in_guest() local1147 switcher_pmd = pfn_pmd(__pa(switcher_pte_page) >> PAGE_SHIFT, in map_switcher_in_guest()1164 switcher_pgd = __pgd(__pa(switcher_pte_page) | __PAGE_KERNEL_EXEC); in map_switcher_in_guest()1179 set_pte(&switcher_pte_page[pte_index((unsigned long)pages)], regs_pte); in map_switcher_in_guest()1188 free_page((long)switcher_pte_page(i)); in free_switcher_pte_pages()1202 pte_t *pte = switcher_pte_page(cpu); in populate_switcher_pte_page()1247 switcher_pte_page(i) = (pte_t *)get_zeroed_page(GFP_KERNEL); in init_pagetables()1248 if (!switcher_pte_page(i)) { in init_pagetables()