is_vnmi_enabled
if (!is_vnmi_enabled(svm)) {
if (!is_vnmi_enabled(svm))
if (!is_vnmi_enabled(svm))
if (is_vnmi_enabled(svm))
if (is_vnmi_enabled(svm)) {
WARN_ON_ONCE(is_vnmi_enabled(svm));