Symbol: vmm_get_host_xcr0
usr/src/uts/intel/io/vmm/vmm.c
1238
if (!validate_guest_xcr0(val, vmm_get_host_xcr0())) {
usr/src/uts/intel/io/vmm/vmm.c
1479
load_xcr(0, vmm_get_host_xcr0());
usr/src/uts/intel/io/vmm/vmm_host.h
68
uint64_t vmm_get_host_xcr0(void);