Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/class/usblp.c usblp_cache_device_id_string() -> usblp_ctrl_msg()

Type Parameter Key Value
PARAM_VALUE 0 usblp 4096-ptr_max
PARAM_VALUE 0 usblp->mut.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 *usblp->dev->toggle 0-4294967295
PARAM_VALUE 1 request 0
PARAM_VALUE 2 type 32
PARAM_VALUE 3 dir 128
PARAM_VALUE 4 recip 1
PARAM_VALUE 5 value 0
PARAM_VALUE 7 len 1023
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp->device_id_string (-1),1024
BUF_SIZE 0 usblp->readbuf (-1),1024
BUF_SIZE 0 usblp->statusbuf (-1),8
BUF_SIZE 6 buf (-1),1024
DATA_SOURCE 0 usblp $0
MEM_ZERO 0 usblp->device_id_string
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &usblp->mut

drivers/usb/class/usblp.c usblp_check_status() -> usblp_ctrl_msg()

Type Parameter Key Value
PARAM_VALUE 0 usblp 4096-ptr_max
PARAM_VALUE 0 usblp->flags 64-u32max
PARAM_VALUE 0 usblp->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->mut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->mut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->present 1-255
PARAM_VALUE 0 usblp->wcomplete 0
PARAM_VALUE 0 usblp->wmut.dep_map->name 0-255
PARAM_VALUE 0 usblp->wmut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->wmut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->wmut.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 usblp->wmut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->wmut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->wmut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->wmut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->wwait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 request 1
PARAM_VALUE 2 type 32
PARAM_VALUE 3 dir 128
PARAM_VALUE 4 recip 1
PARAM_VALUE 5 value 0
PARAM_VALUE 7 len 1
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 6 buf 8
CAPPED_DATA 0 &usblp->mut 1
DATA_SOURCE 0 usblp $0
BIT_INFO 0 usblp->flags 0x40,0xffffffff
LOCK2 0 &usblp->mut
LOCK2 0 &usblp->wmut
TYPE_LOCK (struct usblp)->mut
TYPE_LOCK (struct usblp)->wmut

drivers/usb/class/usblp.c usblp_hp_channel_change_request() -> usblp_ctrl_msg()

Type Parameter Key Value
PARAM_VALUE 0 usblp 4096-ptr_max
PARAM_VALUE 0 usblp->dev 4096-ptr_max
PARAM_VALUE 0 usblp->dev->descriptor.idVendor 1008
PARAM_VALUE 0 usblp->mut.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->mut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->mut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->present 1-255
PARAM_VALUE 1 request 0
PARAM_VALUE 2 type 64
PARAM_VALUE 3 dir 128
PARAM_VALUE 4 recip 1
PARAM_VALUE 6 buf 4096-ptr_max
PARAM_VALUE 7 len 1
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 6 buf 1
DATA_SOURCE 0 usblp $0
DATA_SOURCE 5 value $1
DATA_SOURCE 6 buf r _kzalloc_noprof
BIT_INFO 0 usblp->quirks 0x0,0xfffffffe
USER_DATA 5 value s32min-s32max
LOCK2 0 &usblp->mut
TYPE_LOCK (struct usblp)->mut

drivers/usb/class/usblp.c usblp_ioctl() -> usblp_ctrl_msg()

Type Parameter Key Value
PARAM_VALUE 0 usblp 4096-ptr_max
PARAM_VALUE 0 usblp->mut.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->mut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->mut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->present 1-255
PARAM_VALUE 1 request 2
PARAM_VALUE 2 type 32
PARAM_VALUE 3 dir 0
PARAM_VALUE 4 recip 3
PARAM_VALUE 5 value 0
PARAM_VALUE 6 buf 0
PARAM_VALUE 7 len 0
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp s32min-(-2),1-s32max
CAPPED_DATA 0 &usblp->mut 1
LOCK2 0 &usblp->mut
TYPE_LOCK (struct usblp)->mut

drivers/usb/class/usblp.c usblp_ioctl() -> usblp_ctrl_msg()

Type Parameter Key Value
PARAM_VALUE 0 usblp 4096-ptr_max
PARAM_VALUE 0 usblp->mut.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->mut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->mut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->present 1-255
PARAM_VALUE 1 request 1
PARAM_VALUE 2 type 32
PARAM_VALUE 3 dir 128
PARAM_VALUE 4 recip 1
PARAM_VALUE 5 value 0
PARAM_VALUE 7 len 1
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 6 buf 8
CAPPED_DATA 0 &usblp->mut 1
LOCK2 0 &usblp->mut
TYPE_LOCK (struct usblp)->mut

drivers/usb/class/usblp.c usblp_wwait() -> usblp_ctrl_msg()

Type Parameter Key Value
PARAM_VALUE 0 usblp 4096-ptr_max
PARAM_VALUE 0 usblp->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->mut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->mut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->mut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->mut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->mut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->present 1-255
PARAM_VALUE 0 usblp->wcomplete 0
PARAM_VALUE 0 usblp->wmut.dep_map->name 0-255
PARAM_VALUE 0 usblp->wmut.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 usblp->wmut.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 usblp->wmut.osq.tail.counter 0-s32max
PARAM_VALUE 0 usblp->wmut.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 usblp->wmut.wait_lock.owner (-1)
PARAM_VALUE 0 usblp->wmut.wait_lock.owner_cpu u32max
PARAM_VALUE 0 usblp->wwait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 request 1
PARAM_VALUE 2 type 32
PARAM_VALUE 3 dir 128
PARAM_VALUE 4 recip 1
PARAM_VALUE 5 value 0
PARAM_VALUE 6 *buf 0-255
PARAM_VALUE 7 len 1
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 0 usblp s32min-(-2),1-s32max
BUF_SIZE 6 buf 8
CAPPED_DATA 0 &usblp->mut 1
DATA_SOURCE 0 usblp $0
BIT_INFO 0 usblp->flags 0x0,0xffffffbf
NOCHECK_CALL
LOCK2 0 &usblp->mut
LOCK2 0 &usblp->wmut
TYPE_LOCK (struct usblp)->mut
TYPE_LOCK (struct usblp)->wmut