Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_print.c __drm_dev_dbg() -> __drm_dev_vprintk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | level | 1110528587034095616 |
| PARAM_VALUE | 3 | prefix | 0 |
| PARAM_VALUE | 4 | vaf | 8240674375953137664 |
| PARAM_VALUE | 4 | vaf->va | 3278838737707778048 |
| BUF_SIZE | 1 | level | 3 |
| DATA_SOURCE | 0 | dev | $1 |
| STR_LEN | 0 | dev | 2 |
| TERMINATED | 1 | level | 1 |
| NOCHECK_CALL |
drivers/gpu/drm/drm_print.c __drm_err() -> __drm_dev_vprintk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 0 |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 3 | prefix | 6701468319843045376 |
| PARAM_VALUE | 4 | vaf | 4715118243173015552 |
| PARAM_VALUE | 4 | vaf->va | 4532589020404994048 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 3 | prefix | 8 |
| STR_LEN | 0 | dev | 2 |
| STR_LEN | 1 | level | 7 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 3 | prefix | 1 |
| NOCHECK_CALL |
drivers/gpu/drm/drm_print.c __drm_printfn_dbg() -> __drm_dev_vprintk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | level | 1110528587034095616 |
| PARAM_VALUE | 4 | vaf | 4082641396854108160,6884074223906906112 |
| PARAM_VALUE | 4 | vaf->va | 4172347812087808000,8146355135128535040 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 3 | prefix | 5-21,23-24,26-29,32,36 |
| DATA_SOURCE | 4 | vaf | $1 |
| STR_LEN | 0 | dev | 2 |
| TERMINATED | 1 | level | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
drivers/gpu/drm/drm_print.c drm_dev_printk() -> __drm_dev_vprintk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | prefix | 0 |
| PARAM_VALUE | 4 | vaf | 6855889528059666432 |
| PARAM_VALUE | 4 | vaf->va | 1572889582414925824 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | level | $1 |
| NOCHECK_CALL |