Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | 0 |
| PARAM_VALUE | 1 | b->nchar | 0 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | 1-4000000 |
| PARAM_VALUE | 1 | b->nchar | 0-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | 1-4000000 |
| PARAM_VALUE | 1 | b->nchar | 0-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | 1-4000000 |
| PARAM_VALUE | 1 | b->nchar | 0-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | 1-4000000 |
| PARAM_VALUE | 1 | b->nchar | 0-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | (-512),(-32),(-19),(-12),(-5)-(-4),(-1)-4000000 |
| PARAM_VALUE | 1 | b->nchar | (-512),(-32),(-19),(-12),(-5)-(-4),(-1)-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | (-512),(-32),(-19),(-12),(-5)-(-4),(-1)-4000000 |
| PARAM_VALUE | 1 | b->nchar | (-513)-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |
drivers/gpib/lpvo_usb_gpib/lpvo_usb_gpib.c usb_gpib_read() -> one_char()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | board | 4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | board->big_gpib_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | board->locking_pid_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | board->online | 1-u32max |
| PARAM_VALUE | 0 | board->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 1672719856915812352 |
| PARAM_VALUE | 1 | b->inbuf | 4096-ptr_max |
| PARAM_VALUE | 1 | b->last | (-512),(-32),(-19),(-12),(-5)-(-4),(-1)-4000000 |
| PARAM_VALUE | 1 | b->nchar | (-514)-3999999 |
| CAPPED_DATA | 0 | board->locking_pid | 1 |
| CAPPED_DATA | 0 | board->private_data->timeout | 1 |
| DATA_SOURCE | 0 | board | $0 |