MMU_WARN_ON       377 arch/x86/kvm/mmu.c 	MMU_WARN_ON(is_mmio_spte(spte));
MMU_WARN_ON       383 arch/x86/kvm/mmu.c 	MMU_WARN_ON(is_mmio_spte(spte));
MMU_WARN_ON       394 arch/x86/kvm/mmu.c 	MMU_WARN_ON(is_mmio_spte(spte));
MMU_WARN_ON       400 arch/x86/kvm/mmu.c 	MMU_WARN_ON(is_mmio_spte(spte));
MMU_WARN_ON      1676 arch/x86/kvm/mmu.c 	MMU_WARN_ON(!spte_ad_enabled(spte));
MMU_WARN_ON      2142 arch/x86/kvm/mmu.c 	MMU_WARN_ON(!is_empty_shadow_page(sp->spt));
MMU_WARN_ON      3797 arch/x86/kvm/mmu.c 			MMU_WARN_ON(VALID_PAGE(root));
MMU_WARN_ON      3838 arch/x86/kvm/mmu.c 		MMU_WARN_ON(VALID_PAGE(root));
MMU_WARN_ON      3866 arch/x86/kvm/mmu.c 		MMU_WARN_ON(VALID_PAGE(root));
MMU_WARN_ON      4174 arch/x86/kvm/mmu.c 	MMU_WARN_ON(!VALID_PAGE(vcpu->arch.mmu->root_hpa));
MMU_WARN_ON      4292 arch/x86/kvm/mmu.c 	MMU_WARN_ON(!VALID_PAGE(vcpu->arch.mmu->root_hpa));
MMU_WARN_ON      4921 arch/x86/kvm/mmu.c 	MMU_WARN_ON(!is_pae(vcpu));