__kvm_io_bus_write
r = __kvm_io_bus_write(vcpu, bus, &range, val);
return __kvm_io_bus_write(vcpu, bus, &range, val);