kvm_iodevice_write 1954 arch/x86/kvm/x86.c 		kvm_iodevice_write(mmio_dev, gpa, bytes, val);
kvm_iodevice_write 2282 arch/x86/kvm/x86.c 		kvm_iodevice_write(pio_dev, vcpu->arch.pio.port,
kvm_iodevice_write 2297 arch/x86/kvm/x86.c 		kvm_iodevice_write(pio_dev, io->port,