arch/x86/kvm/x86.c
14389
int ret = emulator_pio_out(vcpu, size, port, vcpu->arch.sev_pio_data, count);
arch/x86/kvm/x86.c
8495
return emulator_pio_out(emul_to_vcpu(ctxt), size, port, val, count);
arch/x86/kvm/x86.c
9671
int ret = emulator_pio_out(vcpu, size, port, &val, 1);