Merge tag 'io_uring-6.6-2023-10-27' of git://git.kernel.dk/linux

[platform/kernel/linux-rpi.git] / arch / x86 / kvm / Kconfig

diff --git a/arch/x86/kvm/Kconfig b/arch/x86/kvm/Kconfig
index 89ca7f4..ed90f14 100644 (file)
--- a/arch/x86/kvm/Kconfig
+++ b/arch/x86/kvm/Kconfig
@@ -101,7 +101,7 @@ config X86_SGX_KVM
 
 config KVM_AMD
        tristate "KVM for AMD processors support"
-       depends on KVM
+       depends on KVM && (CPU_SUP_AMD || CPU_SUP_HYGON)
        help
          Provides support for KVM on AMD processors equipped with the AMD-V
          (SVM) extensions.
@@ -138,6 +138,19 @@ config KVM_XEN
 
          If in doubt, say "N".
 
+config KVM_PROVE_MMU
+       bool "Prove KVM MMU correctness"
+       depends on DEBUG_KERNEL
+       depends on KVM
+       depends on EXPERT
+       help
+         Enables runtime assertions in KVM's MMU that are too costly to enable
+         in anything remotely resembling a production environment, e.g. this
+         gates code that verifies a to-be-freed page table doesn't have any
+         present SPTEs.
+
+         If in doubt, say "N".
+
 config KVM_EXTERNAL_WRITE_TRACKING
        bool