Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/x86.c emulator_pio_out_emulated() -> emulator_pio_out()

Type Parameter Key Value
PARAM_VALUE 3 val 4096-ptr_max
PARAM_VALUE 4 count 1
BUF_SIZE 3 val 8
BUF_SIZE 3 val 8
DATA_SOURCE 1 size $1
DATA_SOURCE 2 port $2
DATA_SOURCE 3 val $3
DATA_SOURCE 4 count $4

arch/x86/kvm/x86.c kvm_fast_pio_out() -> emulator_pio_out()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.emulate_ctxt->ops->get_cr 4096-ptr_max
PARAM_VALUE 0 vcpu->run->hypercall.ret 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 size 0-8
PARAM_VALUE 3 val 8783421830307135488
PARAM_VALUE 4 count 1
BUF_SIZE 3 val 8
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 size $1
DATA_SOURCE 2 port $2
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/x86.c kvm_sev_es_outs() -> emulator_pio_out()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 0 vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vcpu->kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 4 count 0-4096
BUF_SIZE 0 vcpu s32min-(-1),1-s32max
BUF_SIZE 0 vcpu s32min-(-1),1-s32max
BUF_SIZE 0 vcpu->arch.sev_pio_data s32min,(-1),1-65536
BUF_SIZE 3 val s32min,(-1),1-65536
BUF_SIZE 3 val s32min,(-1),1-65536
CAPPED_DATA 0 vcpu 1
CAPPED_DATA 4 count 1
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 size $1
DATA_SOURCE 2 port $2
USER_DATA 0 vcpu->arch.cr8 0-14
NO_OVERFLOW_SIMPLE 0 vcpu->arch.pio.count
NO_OVERFLOW_SIMPLE 0 vcpu->arch.pio.size
NO_OVERFLOW_SIMPLE 0 vcpu->arch.sev_pio_count
NO_OVERFLOW_SIMPLE 0 vcpu->run->io.count
NO_OVERFLOW_SIMPLE 0 vcpu->run->io.size
NO_OVERFLOW_SIMPLE 1 size
NO_OVERFLOW_SIMPLE 4 count
UNITS 4 count unit_byte
USER_PTR 0 vcpu->arch.pdptrs
HALF_LOCKED2 0 &vcpu->kvm->srcu
HALF_LOCKED2 0 &vcpu->mutex