Symbol: load_xcr
usr/src/uts/intel/io/vmm/intel/vmx.c
1551
load_xcr(0, xcrval);
usr/src/uts/intel/io/vmm/vmm.c
1460
load_xcr(0, vcpu->guest_xcr0);
usr/src/uts/intel/io/vmm/vmm.c
1479
load_xcr(0, vmm_get_host_xcr0());