Searched refs:switcher_pmd (Results 1 – 1 of 1) sorted by relevance
1144 pmd_t switcher_pmd; in map_switcher_in_guest() local1147 switcher_pmd = pfn_pmd(__pa(switcher_pte_page) >> PAGE_SHIFT, in map_switcher_in_guest()1156 set_pmd(&pmd_table[SWITCHER_PMD_INDEX], switcher_pmd); in map_switcher_in_guest()