svm_get_nmi_mask
if (svm_get_nmi_mask(vcpu))
if (svm_get_nmi_mask(vcpu)) {
.get_nmi_mask = svm_get_nmi_mask,