Defined in 1 files as a function:

Referenced in 16 files:

Smatch caller information:

arch/x86/kvm/i8254.c kvm_create_pit() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 8745575643136249856
NOCHECK_CALL
LOCK2 &kvm->lock
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/i8254.c kvm_create_pit() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 3378896502224273408
NOCHECK_CALL
LOCK2 &kvm->lock
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/ioapic.c kvm_ioapic_init() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 2525844516079230976
NOCHECK_CALL
LOCK2 &kvm->lock
TYPE_LOCK (struct kvm)->lock

arch/x86/kvm/i8259.c kvm_pic_init() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 8808974542070099968
NOCHECK_CALL
LOCK2 &kvm->lock
TYPE_LOCK (struct kvm)->lock

arch/x86/kvm/i8259.c kvm_pic_init() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 2532280504763092992
NOCHECK_CALL
LOCK2 &kvm->lock
TYPE_LOCK (struct kvm)->lock

arch/x86/kvm/i8259.c kvm_pic_init() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 4612218554301607936
NOCHECK_CALL
LOCK2 &kvm->lock
TYPE_LOCK (struct kvm)->lock

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_assign_ioeventfd_idx() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 3048287637732630528
NOCHECK_CALL
LOCK2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/lapic.c kvm_create_lapic() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 7286829344353189888
NOCHECK_CALL

arch/x86/kvm/../../../virt/kvm/coalesced_mmio.c kvm_vm_ioctl_register_coalesced_mmio() -> kvm_iodevice_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ops 5984882416032268288
NOCHECK_CALL