Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/smp.c csd_lock_wait_toolong() -> csd_lock_wait_getcpu()

Type Parameter Key Value
BUF_SIZE 0 csd->info s32min-(-1),1-s32max
DATA_SOURCE 0 csd $0
STR_LEN 0 csd->node.dst (-1),8-9,11-29,31-34,38
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 csd->node.dst 1-8192[c]

kernel/smp.c csd_lock_wait_toolong() -> csd_lock_wait_getcpu()

Type Parameter Key Value
PARAM_VALUE 0 csd->node.u_flags 1-u32max
BUF_SIZE 0 csd->info s32min-(-1),1-s32max
DATA_SOURCE 0 csd $0
STR_LEN 0 csd->node.dst (-1),8-9,11-29,31-34,38
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 csd->node.dst 1-8192[c]