Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/comedi/comedi_buf.c _comedi_buf_read_samples() -> _comedi_buf_read_alloc()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->async 0,4096-ptr_max
DATA_SOURCE 0 s $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/comedi/comedi_buf.c comedi_buf_read_alloc() -> _comedi_buf_read_alloc()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 nbytes $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 nbytes unit_byte
HALF_LOCKED2 &dev->mutex

drivers/comedi/comedi_fops.c comedi_read() -> _comedi_buf_read_alloc()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->async 4096-ptr_max
PARAM_VALUE 1 nbytes 0-2147479552
CAPPED_DATA 0 s->busy 1
DATA_SOURCE 0 s r comedi_file_read_subdevice
NOSPEC 1 nbytes
NOCHECK_CALL
USER_DATA 1 nbytes 0-1000000000[c]
UNITS 1 nbytes unit_byte
LOCK2 &dev->attach_lock
TYPE_LOCK (struct comedi_device)->attach_lock

drivers/comedi/comedi_fops.c do_bufinfo_ioctl() -> _comedi_buf_read_alloc()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->async 4096-ptr_max
PARAM_VALUE 1 nbytes 1-u32max
CAPPED_DATA 0 s->busy 1
NOCHECK_CALL
USER_DATA 1 nbytes 1-u32max
LOCK2 &dev->attach_lock
TYPE_LOCK (struct comedi_device)->attach_lock