Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/printk/printk.c devkmsg_emit() -> vprintk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | facility | 0-255 |
| PARAM_VALUE | 1 | level | 0-7 |
| PARAM_VALUE | 2 | dev_info | 0 |
| PARAM_VALUE | 3 | fmt | 8347350738675638272 |
| PARAM_VALUE | 4 | *args | 8347350738675638272 |
| BUF_SIZE | 3 | fmt | 3 |
| BUF_SIZE | 3 | fmt | 3 |
| BUF_SIZE | 4 | args | 8 |
| BUF_SIZE | 4 | args | 8 |
| DATA_SOURCE | 0 | facility | $0 |
| DATA_SOURCE | 1 | level | $1 |
| DATA_SOURCE | 3 | fmt | $2 |
| FUZZY_MAX | 0 | facility | 1 |
| FUZZY_MAX | 1 | level | 4 |
| STR_LEN | 0 | facility | 2 |
| PARAM_COMPARE | 3 | &fmt | == $4 |
| TERMINATED | 3 | fmt | 1 |
| TERMINATED | 4 | *args | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | level | 1-7[c] |
| HALF_LOCKED2 | &pool->lock |
kernel/printk/printk.c vprintk_default() -> vprintk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | facility | 0 |
| PARAM_VALUE | 1 | level | (-1) |
| PARAM_VALUE | 2 | dev_info | 0 |
| BUF_SIZE | 3 | fmt | (-1),2,4,6,8-10,12,14-52,54-59,62,64-66,68-70,72,74-76,79-82,88,93,95,102,107,115-116,118,120,126,136,169 |
| BUF_SIZE | 3 | fmt | (-1),2,4,6,8-10,12,14-52,54-59,62,64-66,68-70,72,74-76,79-82,88,93,95,102,107,115-116,118,120,126,136,169 |
| BUF_SIZE | 4 | args | (-1),8 |
| BUF_SIZE | 4 | args | (-1),8 |
| DATA_SOURCE | 3 | fmt | $0 |
| DATA_SOURCE | 4 | args | $1 |
| STR_LEN | 0 | facility | (-1)-0,4-16,18,20-23,25-27,29-42,44-51,53-58,61,63-65,67-69,71,73-75,78-81,87,92,106,117,119,125,135,168 |
| STR_LEN | 3 | fmt | (-1)-0,4-16,18,20-23,25-27,29-42,44-51,53-58,61,63-65,67-69,71,73-75,78-81,87,92,106,117,119,125,135,168 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &meta->lock | ||
| HALF_LOCKED2 | flags |
kernel/printk/printk.c vprintk_deferred() -> vprintk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | facility | 0 |
| PARAM_VALUE | 1 | level | (-2) |
| PARAM_VALUE | 2 | dev_info | 0 |
| PARAM_VALUE | 3 | fmt | 4096-ptr_max |
| BUF_SIZE | 3 | fmt | 20,31-32,35-37,39-40,42-43,45-48,52-53,55,57-58,62,64,67,69,72,76-77,80,85,154 |
| BUF_SIZE | 3 | fmt | 20,31-32,35-37,39-40,42-43,45-48,52-53,55,57-58,62,64,67,69,72,76-77,80,85,154 |
| BUF_SIZE | 4 | args | 8 |
| BUF_SIZE | 4 | args | 8 |
| DATA_SOURCE | 3 | fmt | $0 |
| DATA_SOURCE | 4 | args | $1 |
| STR_LEN | 0 | facility | (-1),3-6,19,30-31,34-36,39,41-42,44-47,52,54,56-57,61,66,68,71,75-76,79,84,153 |
| STR_LEN | 3 | fmt | (-1),3-6,19,30-31,34-36,39,41-42,44-47,52,54,56-57,61,66,68,71,75-76,79,84,153 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
drivers/base/core.c dev_vprintk_emit() -> vprintk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | facility | 0 |
| PARAM_VALUE | 2 | dev_info | 4066288896135225344 |
| BUF_SIZE | 3 | fmt | (-1),11,13-14,16,18 |
| BUF_SIZE | 3 | fmt | (-1),11,13-14,16,18 |
| BUF_SIZE | 4 | args | 8 |
| BUF_SIZE | 4 | args | 8 |
| DATA_SOURCE | 1 | level | $0 |
| DATA_SOURCE | 3 | fmt | $2 |
| DATA_SOURCE | 4 | args | $3 |
| STR_LEN | 0 | facility | (-1),10,12-13,15-17,20-42,44-47,51-52,54-55,57,60-61,63,67,70,74,77,83,150 |
| MEM_ZERO | 2 | dev_info | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |