Symbol: vmm_get_host_idtrbase
usr/src/uts/intel/io/vmm/intel/vmx.c
1040
vmcs_write(VMCS_HOST_IDTR_BASE, vmm_get_host_idtrbase());
usr/src/uts/intel/io/vmm/vmm_host.h
73
uint64_t vmm_get_host_idtrbase(void);