Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/aqc111.c aqc111_write_cmd() -> __aqc111_write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->link_reset 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->reset 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->stop 0,222419360661372928,4259716044864118784,5435611627426725888,6723014208665305088,6896059178680975360
PARAM_VALUE 0 dev->intf 4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.request 0-4
PARAM_VALUE 0 dev->intf->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->intf->dev.type 0,4096-ptr_max
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 cmd 1,97
PARAM_VALUE 2 reqtype 64
PARAM_VALUE 3 value 0,11,13,16,34,36,42-44,46,52-53,65,67,70,84,158,177-178,183,185
PARAM_VALUE 4 index 0-3,5-6
PARAM_VALUE 5 size 1-6
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 6 data (-1),2,4-5,32
BUF_SIZE 6 data (-1),2,4-5,32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 3 value $2
DATA_SOURCE 4 index $3
DATA_SOURCE 5 size $4
DATA_SOURCE 6 data $5
HARD_MAX 1 cmd 97
HARD_MAX 3 value 185
HARD_MAX 4 index 6
HARD_MAX 5 size 6
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->hard_mtu 0-2147549182[c]
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->end
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->len
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->next->end
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->next->len
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->next->tail
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->tail
NO_OVERFLOW_SIMPLE 0 dev->rxq.prev->truesize
UNITS 0 dev unit_byte
UNITS 5 size unit_byte

drivers/net/usb/aqc111.c aqc111_write_cmd_nopm() -> __aqc111_write_cmd()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_info->flags 32,82,96,1024,1536,2080,2592,4096-4097,4100,4112,4114,4128,4152,6176,8288,8544,9232,9744,10336,12848,14384,14896,15376,17408,48144,67072
PARAM_VALUE 0 dev->driver_info->status 0,4096-ptr_max
PARAM_VALUE 0 dev->driver_info->unbind 0,4096-ptr_max
PARAM_VALUE 0 dev->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->net->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 1 cmd 1,96-97
PARAM_VALUE 2 reqtype 64
PARAM_VALUE 3 value 0,11,34,38,46-50,65,67,183,185
PARAM_VALUE 4 index 0-2
PARAM_VALUE 5 size 1-2,4,290
PARAM_VALUE 6 data 3004521691734441984,5065704467280683008,5698306327632826368,7915747508619902976,8888312730182574080
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->driver_name (-1),4-25,28-29,32
BUF_SIZE 0 dev->padding_pkt (-1),1
BUF_SIZE 6 data (-1),2,4,290
BUF_SIZE 6 data (-1),2,4,290
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 3 value $2
DATA_SOURCE 4 index $3
DATA_SOURCE 5 size $4
DATA_SOURCE 6 data $5
HARD_MAX 1 cmd 97
HARD_MAX 3 value 185
HARD_MAX 4 index 2
HARD_MAX 5 size 290
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
UNITS 5 size unit_byte