Searched refs:populate_switcher_pte_page (Results 1 – 1 of 1) sorted by relevance
744 static __init void populate_switcher_pte_page(unsigned int cpu, in populate_switcher_pte_page() function793 populate_switcher_pte_page(i, switcher_page, pages); in init_pagetables()