Symbol: vmm_get_host_idtrbase
sys/amd64/vmm/intel/vmcs.c
410
idtrbase = vmm_get_host_idtrbase();
sys/amd64/vmm/vmm_host.h
55
uint64_t vmm_get_host_idtrbase(void);