Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 804 |
| PARAM_VALUE | 2 | packet->data | 4 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 868 |
| PARAM_VALUE | 2 | packet->data | 4 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 900 |
| PARAM_VALUE | 2 | packet->data | 4 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 256 |
| PARAM_VALUE | 2 | packet->data | 1792 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 6 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 4 |
| PARAM_VALUE | 2 | packet->header | 15 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 4 |
| PARAM_VALUE | 2 | packet->header | 15 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_do_init_gfxdevice() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 208187470479396864 |
| PARAM_VALUE | 2 | packet->address | 80 |
| PARAM_VALUE | 2 | packet->data | 255 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_write_mem_bulk() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 1-u64max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 7454774184817364992 |
| PARAM_VALUE | 2 | packet->address | 468 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | packet->data | 0-u32max[c] |
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_write_mem_bulk() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 1-u64max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 7454774184817364992 |
| PARAM_VALUE | 2 | packet->address | 464 |
| PARAM_VALUE | 2 | packet->data | 0,4-4294967292 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | packet->data | 0,4-2157627904[c] |
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_write_mem_bulk() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 1-u64max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 7454774184817364992 |
| PARAM_VALUE | 2 | packet->address | 448 |
| PARAM_VALUE | 2 | packet->data | 22-23 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | packet->data | 22-23[c] |
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_write_mem_bulk() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 1-u64max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 7454774184817364992 |
| PARAM_VALUE | 2 | packet->address | 404 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | packet->data | 0-u32max[c] |
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_write_mem_bulk() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 1-u64max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 7454774184817364992 |
| PARAM_VALUE | 2 | packet->address | 400 |
| PARAM_VALUE | 2 | packet->data | 0,4-4294967292 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | packet->data | 0,4-2157627904[c] |
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |
drivers/usb/misc/sisusbvga/sisusbvga.c sisusb_write_mem_bulk() -> sisusb_send_bridge_packet()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sisusb | 4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->flagb0 | 0-21,23-u64max |
| PARAM_VALUE | 0 | sisusb->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sisusb->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sisusb->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sisusb->present | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | sisusb->sisusb_dev | 1-u64max |
| PARAM_VALUE | 0 | *sisusb->urbstatus | 0-255 |
| PARAM_VALUE | 1 | len | 10 |
| PARAM_VALUE | 2 | packet | 7454774184817364992 |
| PARAM_VALUE | 2 | packet->address | 384 |
| PARAM_VALUE | 2 | packet->data | 22-23 |
| PARAM_VALUE | 2 | packet->header | 31 |
| PARAM_VALUE | 3 | tflags | 0 |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sisusb->ibuf | (-1),4096 |
| CAPPED_DATA | 0 | sisusb->numobufs | 1 |
| DATA_SOURCE | 0 | sisusb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | packet->data | 22-23[c] |
| UNITS | 0 | sisusb | unit_byte |
| HALF_LOCKED2 | 0 | &sisusb->lock |