Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/watchdog.c watchdog_hardlockup_check() -> trigger_single_cpu_backtrace()

Type Parameter Key Value
PARAM_VALUE 0 cpu 1-8192
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/workqueue.c show_cpu_pool_busy_workers() -> trigger_single_cpu_backtrace()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cpu unit_array_size
LOCK2 rcu_read

kernel/sched/core.c dump_cpu_task() -> trigger_single_cpu_backtrace()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-s32max
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
FUZZY_MAX 0 cpu 1
STR_LEN 0 cpu (-1),8-9,11-29,31-34,38
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cpu 0-8192[c]
HALF_LOCKED2 &rnp->lock
HALF_LOCKED2 flags