Searched refs:core_mmu_set_default_prtn (Results 1 – 3 of 3) sorted by relevance
348 core_mmu_set_default_prtn(); in virt_guest_created()541 core_mmu_set_default_prtn(); in virt_unset_guest()
671 void core_mmu_set_default_prtn(void);
632 void core_mmu_set_default_prtn(void) in core_mmu_set_default_prtn() function