Defined in 2 files as a member:

Defined in 5 files as a function:

Referenced in 6 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->big_gpib_mutex.dep_map->name 0-255
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 file->big_gpib_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 file->big_gpib_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 file->big_gpib_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 file->interface 4096-ptr_max
PARAM_VALUE 0 file->locking_pid_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 file->online 1-u32max
PARAM_VALUE 0 file->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 buf->nec7210_priv.read_byte 4096-ptr_max
PARAM_VALUE 1 buf->nec7210_priv.register_page_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 count 4096-ptr_max
PARAM_VALUE 4 end 8231626610412855296
PARAM_VALUE 4 *end 0
PARAM_VALUE 5 bytes_read 3398086835557027840
BUF_SIZE 1 buf 16,104,152,160,200,216,224,232,248,256,264,864,880
BUF_SIZE 1 buf 16,104,152,160,200,216,224,232,248,256,264,864,880
CAPPED_DATA 0 file->locking_pid 1
DATA_SOURCE 0 file $0
DATA_SOURCE 4 end $3

drivers/char/xillybus/xillyusb.c try_queue_bulk_out() -> fifo_read()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 3 ppos 734240262023966720
CAPPED_DATA 2 count 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ep->ep_mutex
HALF_LOCKED2 &chan->out_mutex
HALF_LOCKED2 &xdev->msg_mutex
TYPE_LOCK (struct xillyusb_endpoint)->ep_mutex

drivers/char/xillybus/xillyusb.c xillyusb_discovery() -> fifo_read()

Type Parameter Key Value
PARAM_VALUE 0 file 6811638743275323392
PARAM_VALUE 0 file->buf_order 0-4,2147483648-u32max
PARAM_VALUE 0 file->bufnum 0-s32max
PARAM_VALUE 0 file->fill 0
PARAM_VALUE 0 file->mem 16,4096-ptr_max
PARAM_VALUE 0 file->readbuf 0
PARAM_VALUE 0 file->readpos 0
PARAM_VALUE 0 file->writebuf 0
PARAM_VALUE 0 file->writepos 0
PARAM_VALUE 1 buf 16
PARAM_VALUE 2 count 0
PARAM_VALUE 3 ppos 734240262023966720
DATA_SOURCE 1 buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 file->bufnum
BYTE_COUNT 1 ==buf2 8050

drivers/char/xillybus/xillyusb.c xillyusb_read() -> fifo_read()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1-2147479552
PARAM_VALUE 3 ppos 7023985790082691072
USER_DATA 2 count 1-1000000000
LOCK2 &chan->in_mutex
TYPE_LOCK (struct xillyusb_channel)->in_mutex

fs/proc/inode.c pde_read() -> pde_read ptr read()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_op->read 1-u64max
PARAM_VALUE 2 count 0-1000000000,2147479552
PARAM_VALUE 3 *ppos 0-1000000000
BUF_SIZE 3 ppos (-1),8
BUF_SIZE 3 ppos (-1),8
CAPPED_DATA 1 buf 1
DATA_SOURCE 0 file $1
DATA_SOURCE 1 buf $2
DATA_SOURCE 2 count $3
DATA_SOURCE 3 ppos $4
FUZZY_MAX 2 count 2147479552
BIT_INFO 0 file->f_mode 0x20001,0xffffffffffffffff
USER_DATA 1 buf 0-u64max[c]
USER_DATA 2 count 0-1000000000
USER_DATA 3 *ppos 0-1000000000
USER_PTR 3 ppos