Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/vector.c x86_vector_alloc_irqs() -> free_apic_chip_data()

Type Parameter Key Value
PARAM_VALUE 0 apicd 4096-ptr_max
PARAM_VALUE 0 apicd->clist.next 0
PARAM_VALUE 0 apicd->clist.pprev 0
PARAM_VALUE 0 apicd->irq 0
BUF_SIZE 0 apicd 56
DATA_SOURCE 0 apicd r alloc_apic_chip_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex

arch/x86/kernel/apic/vector.c x86_vector_free_irqs() -> free_apic_chip_data()

Type Parameter Key Value
BUF_SIZE 0 apicd s32min-(-2),1-s32max
BUF_SIZE 0 apicd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 apicd unit_byte
HALF_LOCKED2 &domain->root->mutex