Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/printk/printk.c printk_get_next_message() -> pmsg_load_execution_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pmsg | 784746439407718400,1495010571776077824,7577302975025946624 |
| PARAM_VALUE | 0 | pmsg->cpu | 0 |
| PARAM_VALUE | 0 | pmsg->outbuf_len | 0 |
| PARAM_VALUE | 0 | pmsg->pbufs->outbuf | 4096-ptr_max |
| PARAM_VALUE | 0 | pmsg->pbufs->scratchbuf | 4096-ptr_max |
| PARAM_VALUE | 0 | pmsg->pid | 0 |
| PARAM_VALUE | 1 | info | 7526117390693183488 |
| DATA_SOURCE | 0 | pmsg | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &user->lock |