VM_CR_SVMDIS
if ((msr & VM_CR_SVMDIS) != 0) {
if ((msr & VM_CR_SVMDIS) == VM_CR_SVMDIS)
*val = VM_CR_SVMDIS;