Symbol: vmm_vcpu_mmu_mode
usr/src/lib/libvmm/libvmm.c
739
return (vmm_vcpu_mmu_mode(vmm, vcpuid, &mmu));
usr/src/lib/libvmm/libvmm.c
833
switch (vmm_vcpu_mmu_mode(vmm, vcpuid, &mmu)) {