Symbol: rxcr
usr/src/uts/intel/io/vmm/vmm.c
1478
vcpu->guest_xcr0 = rxcr(0);
usr/src/uts/intel/io/vmm/vmm_host.c
99
vmm_host_xcr0 = rxcr(0);