Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/i8259.c kvm_pic_read_irq() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->output 0
NOCHECK_CALL

arch/x86/kvm/i8259.c kvm_pic_set_irq() -> pic_lock()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &kvm->irqfds.resampler_lock

arch/x86/kvm/i8259.c kvm_pic_update_irq() -> pic_lock()

Type Parameter Key Value
DATA_SOURCE 0 s $0
NOCHECK_CALL

arch/x86/kvm/i8259.c pic_clear_isr() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->kvm 4096-ptr_max
PARAM_VALUE 0 s->kvm->irq_routing 4096-ptr_max
PARAM_VALUE 0 s->kvm->irq_srcu.dep_map->name 0-255
PARAM_VALUE 0 s->kvm->irq_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 s->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 s->pics 4096-ptr_max
PARAM_VALUE 0 s->wakeup_needed 0
CAPPED_DATA 0 s->kvm->irq_routing 1
CAPPED_DATA 0 s->kvm->irq_srcu.srcu_ctrp 1
NOCHECK_CALL
LOCK2 &s->lock

arch/x86/kvm/i8259.c picdev_read() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
NOCHECK_CALL

arch/x86/kvm/i8259.c picdev_read() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
NOCHECK_CALL

arch/x86/kvm/i8259.c picdev_write() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
NOCHECK_CALL

arch/x86/kvm/i8259.c picdev_write() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
NOCHECK_CALL

arch/x86/kvm/i8259.c picdev_write() -> pic_lock()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
NOCHECK_CALL