Symbol: vmm_get_host_cr0
usr/src/uts/intel/io/vmm/intel/vmx.c
794
vmcs_write(VMCS_HOST_CR0, vmm_get_host_cr0());
usr/src/uts/intel/io/vmm/vmm_host.h
66
uint64_t vmm_get_host_cr0(void);