Defined in 3 files as a function:
- drivers/usb/fotg210/fotg210-hcd.c, line 753 (as a function)
- drivers/usb/host/ehci-dbg.c, line 932 (as a function)
- drivers/usb/host/ohci-dbg.c, line 681 (as a function)
Referenced in 3 files:
- drivers/usb/fotg210/fotg210-hcd.c, line 784
- drivers/usb/host/ehci-dbg.c, line 963
- drivers/usb/host/ohci-dbg.c, line 712
Smatch caller information:
drivers/usb/host/ehci-hcd.c debug_output() -> fill_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PARAM_VALUE | 0 | buf->count | 0 |
| PARAM_VALUE | 0 | buf->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | buf->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | buf->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | buf->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &buf->mutex | 1 |
| LOCK2 | 0 | &buf->mutex | |
| TYPE_LOCK | (struct debug_buffer)->mutex |
drivers/usb/fotg210/fotg210-hcd.c debug_output() -> fill_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PARAM_VALUE | 0 | buf->count | 0 |
| PARAM_VALUE | 0 | buf->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | buf->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | buf->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | buf->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &buf->mutex | 1 |
| LOCK2 | 0 | &buf->mutex | |
| TYPE_LOCK | (struct debug_buffer)->mutex |
drivers/usb/host/ohci-hcd.c debug_output() -> fill_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PARAM_VALUE | 0 | buf->count | 0 |
| PARAM_VALUE | 0 | buf->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | buf->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | buf->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | buf->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | buf->mutex.wait_lock.owner_cpu | u32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &buf->mutex | 1 |
| LOCK2 | 0 | &buf->mutex | |
| TYPE_LOCK | (struct debug_buffer)->mutex |