mmio_read_completed 5635 arch/x86/kvm/x86.c 	if (vcpu->mmio_read_completed) {
mmio_read_completed 5638 arch/x86/kvm/x86.c 		vcpu->mmio_read_completed = 0;
mmio_read_completed 8499 arch/x86/kvm/x86.c 		vcpu->mmio_read_completed = 1;
mmio_read_completed  292 include/linux/kvm_host.h 	int mmio_read_completed;