Defined in 3 files as a function:
- drivers/usb/fotg210/fotg210-hcd.c, line 632 (as a function)
- drivers/usb/host/ehci-dbg.c, line 755 (as a function)
- drivers/usb/host/ohci-dbg.c, line 581 (as a function)
Referenced in 3 files:
- drivers/usb/fotg210/fotg210-hcd.c, line 834
- drivers/usb/host/ehci-dbg.c, line 1021
- drivers/usb/host/ohci-dbg.c, line 755
Smatch caller information:
drivers/usb/host/ehci-hcd.c fill_buffer() -> (struct debug_buffer)->fill_func()
| 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 |
| PARAM_VALUE | 0 | buf->output_buf | 1-u64max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf->output_buf | 0-u64max |
| DATA_SOURCE | 0 | buf | $0 |
| CONTAINER | 0 | -0+0 | $(-1) |
| LOCK2 | 0 | &buf->mutex | |
| TYPE_LOCK | (struct debug_buffer)->mutex |
drivers/usb/fotg210/fotg210-hcd.c fill_buffer() -> (struct debug_buffer)->fill_func()
| 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 |
| PARAM_VALUE | 0 | buf->output_buf | 1-u64max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf->output_buf | 0-u64max |
| DATA_SOURCE | 0 | buf | $0 |
| CONTAINER | 0 | -0+0 | $(-1) |
| LOCK2 | 0 | &buf->mutex | |
| TYPE_LOCK | (struct debug_buffer)->mutex |
drivers/usb/host/ohci-hcd.c fill_buffer() -> (struct debug_buffer)->fill_func()
| 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 |
| PARAM_VALUE | 0 | buf->page | 1-u64max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | buf->page | 4096,u64max |
| DATA_SOURCE | 0 | buf | $0 |
| CONTAINER | 0 | -0+0 | $(-1) |
| LOCK2 | 0 | &buf->mutex | |
| TYPE_LOCK | (struct debug_buffer)->mutex |