wrmsrl(MSR_EFER, efer & ~MSR_EFER_SVME_MASK);
}
+/** Makes sure SVM is disabled, if it is supported on the CPU
+ */
+static inline void cpu_emergency_svm_disable(void)
+{
+ if (cpu_has_svm(NULL))
+ cpu_svm_disable();
+}
+
#endif /* _ASM_X86_VIRTEX_H */