check_mmio_spte  4103 arch/x86/kvm/mmu.c 		if (!check_mmio_spte(vcpu, spte))
check_mmio_spte   307 arch/x86/kvm/mmutrace.h 	check_mmio_spte,