mmio_value        342 arch/x86/kvm/mmu.c void kvm_mmu_set_mmio_spte_mask(u64 mmio_mask, u64 mmio_value, u64 access_mask)
mmio_value        345 arch/x86/kvm/mmu.c 	BUG_ON((mmio_mask & mmio_value) != mmio_value);
mmio_value        346 arch/x86/kvm/mmu.c 	WARN_ON(mmio_value & (shadow_nonpresent_or_rsvd_mask << shadow_nonpresent_or_rsvd_mask_len));
mmio_value        347 arch/x86/kvm/mmu.c 	WARN_ON(mmio_value & shadow_nonpresent_or_rsvd_lower_gfn_mask);
mmio_value        348 arch/x86/kvm/mmu.c 	shadow_mmio_value = mmio_value | SPTE_MMIO_MASK;
mmio_value         54 arch/x86/kvm/mmu.h void kvm_mmu_set_mmio_spte_mask(u64 mmio_mask, u64 mmio_value, u64 access_mask);