Symbol: validate_guest_xcr0
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
439
bool validate_guest_xcr0(uint64_t, uint64_t);
usr/src/uts/intel/io/vmm/vmm.c
1238
if (!validate_guest_xcr0(val, vmm_get_host_xcr0())) {