Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/storage/debug.c usb_stor_dbg() -> dev_vprintk_emit()

Type Parameter Key Value
PARAM_VALUE 0 level 7
PARAM_VALUE 1 dev 4096-ptr_max
BUF_SIZE 3 args 8
BUF_SIZE 3 args 8
DATA_SOURCE 2 fmt $1
PARAM_COMPARE 2 &fmt == $3
NOCHECK_CALL

drivers/base/core.c dev_printk_emit() -> dev_vprintk_emit()

Type Parameter Key Value
PARAM_VALUE 1 dev 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 2367847206541062144,2468680489458987008,2500092739648655360,5387765208292634624,6134668823854841856,7314537477702332416
PARAM_VALUE 3 *args 2500092739648655360,6134668823854841856,7314537477702332416,2367847206541062144,5387765208292634624,2468680489458987008
BUF_SIZE 1 dev (-1),1616
BUF_SIZE 1 dev (-1),1616
BUF_SIZE 2 fmt 11,13-14,16,18
BUF_SIZE 2 fmt 11,13-14,16,18
BUF_SIZE 3 args 8
BUF_SIZE 3 args 8
DATA_SOURCE 0 level $0
DATA_SOURCE 1 dev $1
DATA_SOURCE 2 fmt $2
STR_LEN 0 level (-1),10,12-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
STR_LEN 1 dev (-1),10
PARAM_COMPARE 2 &fmt == $3
TERMINATED 2 fmt 1
TERMINATED 3 *args 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 dev->cma_area->available_count
UNITS 1 dev unit_byte