Symbol: vmm_read_arch_field
usr/src/uts/intel/io/vmm/vmm.c
4371
if (!vmm_read_arch_field(vm, vcpuid, entryp->vfe_ident,
usr/src/uts/intel/io/vmm/vmm.c
4403
VERIFY(vmm_read_arch_field(vm, vcpuid, entryp->vfe_ident,