Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/locking/lockdep.c check_noncircular() -> save_trace()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_prev_add() -> save_trace()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c mark_lock() -> save_trace()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/locking/lockdep.c print_bad_irq_dependency() -> save_trace()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_circular_bug() -> save_trace()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c print_irq_inversion_bug() -> save_trace()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING