Symbol: nvmm_x86_munge_xcr0
sys/dev/nvmm/x86/nvmm_x86.h
330
uint64_t nvmm_x86_munge_xcr0(uint64_t, uint64_t);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2081
cpudata->gxcr0 = nvmm_x86_munge_xcr0(xcr0,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2815
cpudata->gxcr0 = nvmm_x86_munge_xcr0(xcr0,