Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpib/tnt4882/tnt4882_gpib.c tnt4882_read() -> nec7210_read_data_in()

Type Parameter Key Value
PARAM_VALUE 0 board 4096-ptr_max
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.osq.tail.counter 0-s32max
PARAM_VALUE 0 board->interface 4096-ptr_max
PARAM_VALUE 0 board->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv->write_byte 4096-ptr_max
PARAM_VALUE 2 end 6091352274956288000
BUF_SIZE 0 board (-1),128
BUF_SIZE 0 board (-1),128
BUF_SIZE 1 priv 192
DATA_SOURCE 0 board $0
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &board->big_gpib_mutex
HALF_LOCKED2 0 &board->user_mutex

drivers/gpib/ines/ines_gpib.c ines_read() -> nec7210_read_data_in()

Type Parameter Key Value
PARAM_VALUE 0 board 4096-ptr_max
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.osq.tail.counter 0-s32max
PARAM_VALUE 0 board->interface 4096-ptr_max
PARAM_VALUE 0 board->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv->write_byte 4096-ptr_max
PARAM_VALUE 2 end 8313549815858970624
BUF_SIZE 0 board (-1),128
BUF_SIZE 0 board (-1),128
BUF_SIZE 1 priv 192
DATA_SOURCE 0 board $0
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &board->big_gpib_mutex
HALF_LOCKED2 0 &board->user_mutex

drivers/gpib/nec7210/nec7210.c pio_read() -> nec7210_read_data_in()

Type Parameter Key Value
PARAM_VALUE 0 board 4096-ptr_max
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.osq.tail.counter 0-s32max
PARAM_VALUE 0 board->interface 4096-ptr_max
PARAM_VALUE 0 board->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 end 4198827413982900224,8231626610412855296
PARAM_VALUE 2 *end 0
BUF_SIZE 0 board (-1),128
BUF_SIZE 0 board (-1),128
DATA_SOURCE 0 board $0
DATA_SOURCE 1 priv $1
DATA_SOURCE 2 end $4
TASK_NOT_RUNNING
HALF_LOCKED2 0 &board->big_gpib_mutex
HALF_LOCKED2 0 &board->user_mutex

drivers/gpib/cb7210/cb7210.c cb7210_accel_read() -> nec7210_read_data_in()

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->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 end 8231626610412855296
PARAM_VALUE 2 *end 0
BUF_SIZE 1 priv 192
CAPPED_DATA 0 board->locking_pid 1
DATA_SOURCE 0 board $0
DATA_SOURCE 2 end $3

drivers/gpib/cb7210/cb7210.c fifo_read() -> nec7210_read_data_in()

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-5159360019465732095,5159360019465732097-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 s32min-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 0 board->private_data->hs_mode_bits 6-252
PARAM_VALUE 0 board->private_data->in_fifo_half_full 0
PARAM_VALUE 0 board->private_data->nec7210_priv.register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 board->private_data->nec7210_priv.write_byte 4096-ptr_max
PARAM_VALUE 0 board->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *board->private_data->nec7210_priv->reg_bits 0-32
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->read_byte 4096-ptr_max
PARAM_VALUE 1 priv->register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv->write_byte 4096-ptr_max
PARAM_VALUE 1 *priv->reg_bits 0-255
PARAM_VALUE 2 end 8231626610412855296
PARAM_VALUE 2 *end 0-1
BUF_SIZE 1 priv 192
CAPPED_DATA 0 board->locking_pid 1
DATA_SOURCE 0 board $0
DATA_SOURCE 2 end $4
FUZZY_MAX 2 *end 1
HARD_MAX 2 *end 1
TASK_NOT_RUNNING