kvm_iodevice_read 1899 arch/x86/kvm/x86.c 		kvm_iodevice_read(mmio_dev, gpa, bytes, val);
kvm_iodevice_read 2278 arch/x86/kvm/x86.c 		kvm_iodevice_read(pio_dev, vcpu->arch.pio.port,