Searched refs:vmm_mmu_t (Results 1 – 1 of 1) sorted by relevance
644 } vmm_mmu_t; typedef718 vmm_vcpu_mmu_mode(vmm_t *vmm, int vcpuid __unused, vmm_mmu_t *mmu) in vmm_vcpu_mmu_mode()733 vmm_mmu_t mmu = { 0 }; in vmm_vcpu_mode()817 vmm_mmu_t mmu = { 0 }; in vmm_vtop()