Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/nbpfaxi.c nbpf_bytes_left() -> nbpf_chan_read()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->running 0,4096-ptr_max
PARAM_VALUE 1 offset 32
DATA_SOURCE 0 chan $0
PREEMPT_ADD
TASK_NOT_RUNNING
LOCK2 0 &chan->lock
HALF_LOCKED2 &dcmi->irqlock
HALF_LOCKED2 &host->io_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &pcdev->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &up->port.lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct nbpf_channel)->lock

drivers/dma/nbpfaxi.c nbpf_error_clear() -> nbpf_chan_read()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 1 offset 36
DATA_SOURCE 0 chan $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/dma/nbpfaxi.c nbpf_start() -> nbpf_chan_read()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->base 4096-ptr_max
PARAM_VALUE 0 chan->nbpf 4096-ptr_max
PARAM_VALUE 0 chan->paused 0
PARAM_VALUE 1 offset 56
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &chan->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct nbpf_channel)->lock

drivers/dma/nbpfaxi.c nbpf_start() -> nbpf_chan_read()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->base 4096-ptr_max
PARAM_VALUE 0 chan->nbpf 4096-ptr_max
PARAM_VALUE 0 chan->paused 0
PARAM_VALUE 1 offset 60
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &chan->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct nbpf_channel)->lock