Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/io_apic.c clear_IO_APIC_pin() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic (-1)-127
PARAM_VALUE 1 pin (-1)-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
DATA_SOURCE 0 apic $0
DATA_SOURCE 1 pin $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pin unit_array_size
HALF_LOCKED2 irq

arch/x86/kernel/apic/io_apic.c clear_IO_APIC_pin() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic (-1)-127
PARAM_VALUE 1 pin (-1)-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
DATA_SOURCE 0 apic $0
DATA_SOURCE 1 pin $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pin unit_array_size
HALF_LOCKED2 irq

arch/x86/kernel/apic/io_apic.c clear_IO_APIC_pin() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127
PARAM_VALUE 1 pin (-1)-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
DATA_SOURCE 0 apic $0
DATA_SOURCE 1 pin $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pin unit_array_size
HALF_LOCKED2 irq

arch/x86/kernel/apic/io_apic.c enable_IO_APIC() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127
PARAM_VALUE 1 pin 0-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
UNITS 1 pin unit_array_size

arch/x86/kernel/apic/io_apic.c io_apic_print_entries() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127
PARAM_VALUE 1 pin 0-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
DATA_SOURCE 0 apic $0
FUZZY_MAX 1 pin 0

arch/x86/kernel/apic/io_apic.c save_ioapic_entries() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127
PARAM_VALUE 1 pin 0-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 pin unit_array_size

arch/x86/kernel/apic/io_apic.c unlock_ExtINT_logic() -> ioapic_read_entry()

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127
PARAM_VALUE 1 pin 0-255
CAPPED_DATA 0 apic 1
DATA_SOURCE 0 apic r find_isa_irq_apic
DATA_SOURCE 1 pin r find_isa_irq_pin
LOCK2 irq