Symbol: MSR_VM_HSAVE_PA
sys/dev/nvmm/x86/nvmm_x86_svm.c
2805
wrmsr(MSR_VM_HSAVE_PA, 0);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2817
wrmsr(MSR_VM_HSAVE_PA, hsave[cpu_index(curcpu())].pa);