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 |