Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/comedi/drivers.c comedi_inc_scan_progress() -> _comedi_inc_scan_progress()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 1 num_bytes 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 num_bytes $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->async 4096-ptr_max
CAPPED_DATA 1 num_bytes 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 num_bytes r _comedi_buf_read_alloc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/comedi/comedi_buf.c _comedi_buf_write_samples() -> _comedi_inc_scan_progress()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->async 4096-ptr_max
CAPPED_DATA 0 s->async->prealloc_bufsz 1
CAPPED_DATA 1 num_bytes 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 num_bytes r _comedi_buf_write_alloc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 s->async_dma_dir 0-u32max
HOST_DATA 0 s->index s32min-s32max
HOST_DATA 0 s->io_bits 0-u32max
HOST_DATA 0 s->len_chanlist s32min-s32max
HOST_DATA 0 s->maxdata 0-u32max
HOST_DATA 0 s->minor s32min-s32max
HOST_DATA 0 s->n_chan s32min-s32max
HOST_DATA 0 s->runflags 0-u32max
HOST_DATA 0 s->state 0-u32max
HOST_DATA 0 s->subdev_flags s32min-s32max
HOST_DATA 0 s->type s32min-s32max
HALF_LOCKED2 &chip->spinlock
HALF_LOCKED2 &dev->spinlock
HALF_LOCKED2 &devpriv->spinlock
HALF_LOCKED2 &sd_priv->subd_slock
HALF_LOCKED2 &subpriv->spinlock
HALF_LOCKED2 irq_flags