Symbol: vmm_mmu_t
usr/src/lib/libvmm/libvmm.c
718
vmm_vcpu_mmu_mode(vmm_t *vmm, int vcpuid __unused, vmm_mmu_t *mmu)
usr/src/lib/libvmm/libvmm.c
733
vmm_mmu_t mmu = { 0 };
usr/src/lib/libvmm/libvmm.c
817
vmm_mmu_t mmu = { 0 };