Searched refs:teardown_pages (Results 1 – 2 of 2) sorted by relevance
299 } teardown_pages; member
3555 pgd_page_buffer = mmut->scratch_mem.teardown_pages.levels[level]; in mmu_teardown_level()