Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/smp.c __csd_lock_wait() -> csd_lock_wait_toolong()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | ts1 | 1629485485848608768 |
| PARAM_VALUE | 3 | bug_id | 1085568811804229632 |
| PARAM_VALUE | 4 | nmessages | 1981282067052687360 |
| BUF_SIZE | 0 | csd | (-1),32 |
| BUF_SIZE | 0 | csd | (-1),32 |
| DATA_SOURCE | 0 | csd | $0 |
| DATA_SOURCE | 1 | ts0 | r ktime_get_mono_fast_ns |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING |