Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/vector.c __vector_cleanup() -> free_moved_vector()

Type Parameter Key Value
PARAM_VALUE 0 apicd 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vector_lock
HALF_LOCKED2 irq

arch/x86/kernel/apic/vector.c __vector_schedule_cleanup() -> free_moved_vector()

Type Parameter Key Value
PARAM_VALUE 0 apicd 4096-ptr_max
PARAM_VALUE 0 apicd->move_in_progress 0
PARAM_VALUE 0 apicd->prev_cpu 0-s32max
DATA_SOURCE 0 apicd $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &vector_lock

arch/x86/kernel/apic/vector.c apic_force_complete_move() -> free_moved_vector()

Type Parameter Key Value
PARAM_VALUE 0 apicd 4096-ptr_max
PARAM_VALUE 0 apicd->prev_vector 1-u32max
BUF_SIZE 0 apicd s32min-(-2),1-s32max
BUF_SIZE 0 apicd s32min-(-2),1-s32max
DATA_SOURCE 0 apicd r apic_chip_data
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &desc->lock
LOCK2 global &vector_lock
HALF_LOCKED2 flags
TYPE_LOCK (struct irq_desc)->lock