Searched refs:free_switcher_pte_pages (Results 1 – 1 of 1) sorted by relevance
732 static void free_switcher_pte_pages(void) in free_switcher_pte_pages() function790 free_switcher_pte_pages(); in init_pagetables()802 free_switcher_pte_pages(); in free_pagetables()