Symbol: x86_get_xcr
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2715
svm_global_hstate.xcr0 = x86_get_xcr(0);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3612
vmx_global_hstate.xcr0 = x86_get_xcr(0);