Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/core/devices.c usb_device_dump() -> usb_device_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | nbytes | 4096-ptr_max |
| PARAM_VALUE | 2 | skip_bytes | 4096-ptr_max |
| PARAM_VALUE | 4 | usbdev | 1-u64max |
| PARAM_VALUE | 5 | bus | 4096-ptr_max |
| PARAM_VALUE | 6 | level | (-2147483614)-7 |
| BUF_SIZE | 3 | file_offset | (-1),8 |
| BUF_SIZE | 3 | file_offset | (-1),8 |
| CAPPED_DATA | 7 | index | 1 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | nbytes | $1 |
| DATA_SOURCE | 2 | skip_bytes | $2 |
| DATA_SOURCE | 3 | file_offset | $3 |
| DATA_SOURCE | 5 | bus | $5 |
| USER_DATA | 0 | *buffer | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *nbytes | 1-1000000000 |
| USER_DATA | 2 | *skip_bytes | 0-1000000000[c] |
| USER_DATA | 3 | *file_offset | 0-67571993057 |
| USER_PTR | 0 | *buffer | |
| USER_PTR | 1 | nbytes | |
| USER_PTR | 2 | skip_bytes | |
| USER_PTR | 3 | file_offset | |
| LOCK2 | 4 | &usbdev->dev.mutex | |
| HALF_LOCKED2 | &(bus->root_hub)->dev.mutex | ||
| HALF_LOCKED2 | &usbdev->dev.mutex | ||
| HALF_LOCKED2 | global &usb_bus_idr_lock | ||
| TYPE_LOCK | (struct device)->mutex |
drivers/usb/core/devices.c usb_device_read() -> usb_device_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | skip_bytes | 5268258450516783104 |
| PARAM_VALUE | 3 | file_offset | 4096-ptr_max |
| PARAM_VALUE | 5 | bus | 4096-ptr_max |
| PARAM_VALUE | 6 | level | 0 |
| PARAM_VALUE | 7 | index | 0 |
| PARAM_VALUE | 8 | count | 0 |
| BUF_SIZE | 3 | file_offset | (-1),8 |
| BUF_SIZE | 3 | file_offset | (-1),8 |
| DATA_SOURCE | 3 | file_offset | $3 |
| DATA_SOURCE | 5 | bus | r idr_get_next |
| USER_DATA | 0 | *(*buffer) | 0-255[c] |
| USER_DATA | 1 | *nbytes | 1-1000000000 |
| USER_DATA | 2 | *skip_bytes | 0-1000000000[c] |
| USER_DATA | 3 | *file_offset | 0-65424509410 |
| USER_PTR | 0 | *buffer | |
| USER_PTR | 1 | nbytes | |
| USER_PTR | 2 | skip_bytes | |
| USER_PTR | 3 | file_offset | |
| LOCK2 | &(bus->root_hub)->dev.mutex | ||
| LOCK2 | global &usb_bus_idr_lock |