CONFIG_KVM_PROVE_MMU: Prove KVM MMU correctness

General informations

The Linux kernel configuration item CONFIG_KVM_PROVE_MMU:

• prompt: Prove KVM MMU correctness
• type: bool
• depends on: ( CONFIG_DEBUG_KERNEL ) && ( CONFIG_KVM ) && ( CONFIG_EXPERT )
• defined in arch/x86/kvm/Kconfig
• found in Linux kernels: 6.6–6.12, 6.13-rc+HEAD

Help text

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".

Hardware

LKDDb

Raw data from LKDDb:

• (none)

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from Google (and ads)

Custom Search

Popular queries: