Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 apic 0
PARAM_VALUE 1 pin 0-s32max
CAPPED_DATA 1 pin 1
NOCHECK_CALL
LOCK2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127,u32max
PARAM_VALUE 1 pin 0-s32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
NOCHECK_CALL
LOCK2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 apic 0-127,u32max
PARAM_VALUE 1 pin 0-s32max,u32max
CAPPED_DATA 0 apic 1
CAPPED_DATA 1 pin 1
NOCHECK_CALL
LOCK2 irq

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

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
NOCHECK_CALL
UNITS 1 pin unit_array_size
HALF_LOCKED2 irq

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

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
NOCHECK_CALL
LOCK2 irq

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

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
NOCHECK_CALL
LOCK2 irq