Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/ioapic.c ioapic_mmio_read() -> ioapic_read_indirect()

Type Parameter Key Value
PARAM_VALUE 0 ioapic 4096-ptr_max
CAPPED_DATA 0 ioapic->base_address 1
DATA_SOURCE 0 ioapic r to_ioapic
BIT_INFO 0 ioapic 0x237eaf7a63901e68,0xffffffffffffffff
BIT_INFO 0 ioapic 0x237eaf7a63901e68,0xffffffffffffffff
PREEMPT_ADD <- disables preempt
LOCK2 0 &ioapic->lock
TYPE_LOCK (struct kvm_ioapic)->lock