Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/base/core.c _dev_alert() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 3071886033622831104 |
| PARAM_VALUE | 1 | dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 1 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 2 | vaf | 9139092353864638464 |
| PARAM_VALUE | 2 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 2 | vaf->va | 5885982974869757952 |
| BUF_SIZE | 0 | level | 3 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| STR_LEN | 1 | dev | 10,13,15-17,20-35,37,39-41,45,47,51-52,57,61,63,70,77,150 |
| STR_LEN | 1 | dev | 10,13,15-17,20-35,37,39-41,45,47,51-52,57,61,63,70,77,150 |
| TERMINATED | 0 | level | 1 |
| TERMINATED | 2 | vaf->fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | dev->cma_area->available_count | |
| UNITS | 1 | dev | unit_byte |
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &card->fw.lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &queue->rx_lock | ||
| HALF_LOCKED2 | &queue->tx_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &bnad_fwimg_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/base/core.c _dev_crit() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 7714433677918375936 |
| PARAM_VALUE | 2 | vaf | 2519397868460814336 |
| PARAM_VALUE | 2 | vaf->va | 7337633271442853888 |
| BUF_SIZE | 0 | level | 3 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| TERMINATED | 0 | level | 1 |
| NOCHECK_CALL |
drivers/base/core.c _dev_emerg() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 105464291218391040 |
| PARAM_VALUE | 2 | vaf | 1145817160387645440 |
| PARAM_VALUE | 2 | vaf->fmt | 4096-ptr_max |
| PARAM_VALUE | 2 | vaf->va | 3816169453555208192 |
| BUF_SIZE | 0 | level | 3 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| STR_LEN | 1 | dev | 22-23,25-33,35-38,42,44-46,52,54-55,60,63,67,74,83 |
| STR_LEN | 1 | dev | 22-23,25-33,35-38,42,44-46,52,54-55,60,63,67,74,83 |
| TERMINATED | 0 | level | 1 |
| TERMINATED | 2 | vaf->fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | dev | unit_byte |
| HALF_LOCKED2 | &_d->mutex | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &tz->lock |
drivers/base/core.c _dev_err() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | vaf | 5117241202630053888 |
| PARAM_VALUE | 2 | vaf->va | 6707012383059136512 |
| BUF_SIZE | 0 | level | 3 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| TERMINATED | 0 | level | 1 |
| NOCHECK_CALL |
drivers/base/core.c _dev_info() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 2260944923277840384 |
| PARAM_VALUE | 2 | vaf | 8551366451910139904 |
| PARAM_VALUE | 2 | vaf->va | 4003575470752305152 |
| BUF_SIZE | 0 | level | 3 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| TERMINATED | 0 | level | 1 |
| NOCHECK_CALL |
drivers/base/core.c _dev_notice() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 691284869117722624 |
| PARAM_VALUE | 2 | vaf | 2596607218064957440 |
| PARAM_VALUE | 2 | vaf->va | 4653046737494609920 |
| BUF_SIZE | 0 | level | 3 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| TERMINATED | 0 | level | 1 |
| NOCHECK_CALL |
drivers/base/core.c _dev_printk() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | vaf | 8806971994987585536 |
| PARAM_VALUE | 2 | vaf->va | 8303805561866129408 |
| DATA_SOURCE | 0 | level | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| NOCHECK_CALL |
drivers/base/core.c _dev_warn() -> __dev_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | vaf | 7680558408107757568 |
| PARAM_VALUE | 2 | vaf->va | 2754151803823575040 |
| BUF_SIZE | 0 | level | 3 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | level | 2 |
| TERMINATED | 0 | level | 1 |
| NOCHECK_CALL |