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() -> (struct legacy_pic)->mask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c check_timer() -> (struct legacy_pic)->mask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c check_timer() -> (struct legacy_pic)->mask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c mp_irqdomain_alloc() -> (struct legacy_pic)->mask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
DATA_SOURCE 0 unused $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 unused 0[c]
LOCK2 flags
HALF_LOCKED2 &domain->root->mutex

arch/x86/kernel/apic/io_apic.c startup_ioapic_irq() -> (struct legacy_pic)->mask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0-15,2147483648-u32max
CAPPED_DATA 0 unused 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ioapic_lock
LOCK2 irq

arch/x86/kernel/apic/io_apic.c check_timer() -> (struct legacy_pic)->unmask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c check_timer() -> (struct legacy_pic)->unmask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c check_timer() -> (struct legacy_pic)->unmask()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c check_timer() -> (struct legacy_pic)->make_irq()

Type Parameter Key Value
PARAM_VALUE 0 unused 0
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/apic/io_apic.c init_IO_APIC_traps() -> (struct legacy_pic)->make_irq()

Type Parameter Key Value
PARAM_VALUE 0 unused 0-15
CAPPED_DATA 0 unused 1
NOCHECK_CALL