emulator_pio_in_out
int r = emulator_pio_in_out(vcpu, size, port, val, count, true);
return emulator_pio_in_out(vcpu, size, port, (void *)val, count, false);