Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/printk/printk.c console_prepend_dropped() -> console_prepend_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pmsg | 1495010571776077824,7577302975025946624 |
| PARAM_VALUE | 0 | pmsg->cpu | 0-s32max |
| PARAM_VALUE | 1 | fmt | 1618353354249342976 |
| PARAM_VALUE | 2 | $ | 1-u64max |
| BUF_SIZE | 1 | fmt | 35 |
| DATA_SOURCE | 0 | pmsg | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | pmsg | 34 |
| TERMINATED | 1 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/printk/printk.c console_prepend_replay() -> console_prepend_message()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pmsg | 1495010571776077824 |
| PARAM_VALUE | 0 | pmsg->cpu | 0-s32max |
| PARAM_VALUE | 1 | fmt | 2389652368676184064 |
| BUF_SIZE | 1 | fmt | 41 |
| DATA_SOURCE | 0 | pmsg | $0 |
| STR_LEN | 0 | pmsg | 40 |
| TERMINATED | 1 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | flags |