Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 5 files:
- drivers/base/core.c
- drivers/infiniband/core/device.c, line 227
- drivers/net/ethernet/mellanox/mlx5/core/mlx5_core.h, line 152
- lib/dynamic_debug.c
- net/core/dev.c, line 13117
Smatch caller information:
drivers/net/ethernet/mellanox/mlx5/core/health.c mlx5_printk() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | (-1)-7 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fmt | 7314537477702332416 |
| PARAM_VALUE | 5 | $ | 1331404149714452480 |
| PARAM_VALUE | 5 | $->fmt | 4096-ptr_max |
| PARAM_VALUE | 5 | $->va | 7068915950668132352 |
| BUF_SIZE | 2 | fmt | 11 |
| BUF_SIZE | 3 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 4 | $ | 1-s32max |
| BUF_SIZE | 5 | $ | 16 |
| DATA_SOURCE | 0 | level | $1 [m] |
| STR_LEN | 0 | level | 10 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 5 | $->fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | dev | unit_byte |
drivers/infiniband/core/device.c __ibdev_printk() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fmt | 2468680489458987008 |
| PARAM_VALUE | 6 | $ | 3772316667212840960,3834917596695650304,4572224494224990208,7107782944816283648,7886393205747290112,7923145551991914496,7960220118687215616 |
| PARAM_VALUE | 6 | $->va | 1442666194001764352,2630513037947224064,5322922173890580480,5322996351118958592,6627625797607940096,8395874259927760896,8894597067288625152 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 2 | fmt | 14 |
| BUF_SIZE | 3 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 4 | $ | 1-s32max |
| BUF_SIZE | 5 | $ | 1-s32max |
| DATA_SOURCE | 6 | $ | $2 |
| STR_LEN | 0 | level | 13 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | dev | unit_byte |
drivers/base/core.c __dev_printk() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 1 | dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fmt | 7314537477702332416 |
| PARAM_VALUE | 5 | $ | 1145817160387645440,2519397868460814336,2596607218064957440,5117241202630053888,7680558408107757568,8551366451910139904,8806971994987585536,9139092353864638464 |
| PARAM_VALUE | 5 | $->va | 2754151803823575040,3816169453555208192,4003575470752305152,4653046737494609920,5885982974869757952,6707012383059136512,7337633271442853888,8303805561866129408 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 2 | fmt | 11 |
| BUF_SIZE | 3 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 4 | $ | 1-s32max |
| DATA_SOURCE | 1 | dev | $1 |
| DATA_SOURCE | 5 | $ | $2 |
| STR_LEN | 0 | level | (-1),10,13,15-17,20-42,44-47,51-52,54-55,57,60-61,63,67,70,74,77,83,150 |
| STR_LEN | 1 | dev | (-1),10,13,15-17,20-42,44-47,51-52,54-55,57,60-61,63,67,70,74,77,83,150 |
| STR_LEN | 1 | dev | 10 |
| TERMINATED | 2 | 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 |
net/core/dev.c __netdev_printk() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | fmt | 6134668823854841856 |
| PARAM_VALUE | 5 | $ | 4096-ptr_max |
| PARAM_VALUE | 6 | $ | 177506135898906624,1502563112458944512,2371833801614725120,3570005522068697088,4602998933304729600,8348540228509732864,8829520392943665152 |
| PARAM_VALUE | 7 | $ | 442844900452339712,1130866091120259072,1779902020629381120,2853514473812910080,2991487848399183872,4271620383981543424,6451773967907897344,8221290963395436544 |
| PARAM_VALUE | 7 | $->va | 481410426305417216,625311570200686592,1699649187434262528,2501551082408792064,5898038977867223040,6140358857800364032,6434972275631972352,6907696725257302016 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 1 | dev | (-1),1616 |
| BUF_SIZE | 2 | fmt | 16 |
| BUF_SIZE | 3 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 4 | $ | 1-s32max |
| BUF_SIZE | 5 | $ | 16,21 |
| BUF_SIZE | 6 | $ | 1,9,11-12,16-17 |
| DATA_SOURCE | 7 | $ | $2 |
| STR_LEN | 0 | level | 15 |
| BIT_INFO | 6 | $ | 0x0,0x7fffffffffffffff |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 5 | *$ | 0-255 |
| UNITS | 1 | dev | unit_byte |
| USER_PTR | 5 | $ |
lib/dynamic_debug.c __dynamic_dev_dbg() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 7 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fmt | 2367847206541062144 |
| PARAM_VALUE | 3 | $ | 2910001471119994880 |
| PARAM_VALUE | 6 | $ | 9152089925864378368 |
| PARAM_VALUE | 6 | $->fmt | 1-u64max |
| PARAM_VALUE | 6 | $->va | 4393535792627249152 |
| BUF_SIZE | 2 | fmt | 13 |
| BUF_SIZE | 3 | $ | 128 |
| BUF_SIZE | 4 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | $ | 1-s32max |
| BUF_SIZE | 6 | $ | 16 |
| DATA_SOURCE | 1 | dev | $1 |
| STR_LEN | 0 | level | 12 |
| BIT_INFO | 3 | $ | 0x286266eb8df8b000,0x286266eb8df8b000 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL |
lib/dynamic_debug.c __dynamic_ibdev_dbg() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 7 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fmt | 2500092739648655360 |
| PARAM_VALUE | 3 | $ | 4567089152462094336 |
| PARAM_VALUE | 7 | $ | 1841896228960133120 |
| PARAM_VALUE | 7 | $->va | 3682106469027180544 |
| BUF_SIZE | 2 | fmt | 16 |
| BUF_SIZE | 3 | $ | 128 |
| BUF_SIZE | 4 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | $ | 1-s32max |
| BUF_SIZE | 6 | $ | 1-s32max |
| BUF_SIZE | 7 | $ | 16 |
| STR_LEN | 0 | level | 15 |
| BIT_INFO | 3 | $ | 0x3f618f62fe0b0000,0x3f618f62fe0b0000 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | dev | unit_byte |
lib/dynamic_debug.c __dynamic_netdev_dbg() -> dev_printk_emit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | level | 7 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fmt | 5387765208292634624 |
| PARAM_VALUE | 3 | $ | 5294116122171785216 |
| PARAM_VALUE | 6 | $ | 4096-ptr_max |
| PARAM_VALUE | 7 | $ | 177506135898906624,1502563112458944512,2371833801614725120,3570005522068697088,4602998933304729600,8348540228509732864,8829520392943665152 |
| PARAM_VALUE | 8 | $ | 6132953619736039424 |
| PARAM_VALUE | 8 | $->fmt | 1-u64max |
| PARAM_VALUE | 8 | $->va | 4567439083577360384 |
| BUF_SIZE | 2 | fmt | 18 |
| BUF_SIZE | 3 | $ | 128 |
| BUF_SIZE | 4 | $ | (-1),4-25,28-29,32 |
| BUF_SIZE | 5 | $ | 1-s32max |
| BUF_SIZE | 6 | $ | 16,21 |
| BUF_SIZE | 7 | $ | 1,9,11-12,16-17 |
| BUF_SIZE | 8 | $ | 16 |
| STR_LEN | 0 | level | 17 |
| BIT_INFO | 3 | $ | 0x49787a904db7c000,0x49787a904db7c000 |
| BIT_INFO | 7 | $ | 0x0,0x7fffffffffffffff |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | dev | unit_byte |