Searched refs: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() local1037 switcher_pmd = pfn_pmd(__pa(switcher_pte_page) >> PAGE_SHIFT, in map_switcher_in_guest()1054 switcher_pgd = __pgd(__pa(switcher_pte_page) | __PAGE_KERNEL_EXEC); in map_switcher_in_guest()1069 set_pte(&switcher_pte_page[pte_index((unsigned long)pages)], regs_pte); in map_switcher_in_guest()1078 free_page((long)switcher_pte_page(i)); in free_switcher_pte_pages()1092 pte_t *pte = switcher_pte_page(cpu); in populate_switcher_pte_page()1137 switcher_pte_page(i) = (pte_t *)get_zeroed_page(GFP_KERNEL); in init_pagetables()1138 if (!switcher_pte_page(i)) { in init_pagetables()