Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/class/cdc-acm.c acm_read_bulk_callback() -> acm_submit_read_urb()

Type Parameter Key Value
PARAM_VALUE 0 acm 4096-ptr_max
PARAM_VALUE 2 mem_flags 2080
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 acm->port.buf.tail->next->size 0,256-1792[c]
USER_DATA 0 acm->port.buf.tail->size 0,256-1792[c]
HALF_LOCKED2 &pool->lock

drivers/usb/class/cdc-acm.c acm_softint() -> acm_submit_read_urb()

Type Parameter Key Value
PARAM_VALUE 0 acm 4096-ptr_max
PARAM_VALUE 0 acm->rx_buflimit 1-s32max
PARAM_VALUE 0 *acm->dev->toggle 0-4294967295
PARAM_VALUE 1 index 0-s32max
PARAM_VALUE 2 mem_flags 3264
CAPPED_DATA 1 index 1
PARAM_COMPARE 0 acm->rx_buflimit > $1
PARAM_COMPARE 1 index < $0->rx_buflimit
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/class/cdc-acm.c acm_submit_read_urbs() -> acm_submit_read_urb()

Type Parameter Key Value
PARAM_VALUE 0 acm 4096-ptr_max
PARAM_VALUE 0 acm->control->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 acm->rx_buflimit 1-s32max
PARAM_VALUE 0 *acm->dev->toggle 0-4294967295
PARAM_VALUE 1 index 0-s32max
PARAM_VALUE 2 mem_flags 2080,3264
BUF_SIZE 0 acm s32min-(-1),1-s32max
BUF_SIZE 0 acm s32min-(-1),1-s32max
CAPPED_DATA 1 index 1
DATA_SOURCE 0 acm $0
DATA_SOURCE 2 mem_flags $1
PARAM_COMPARE 0 acm->rx_buflimit > $1
PARAM_COMPARE 1 index < $0->rx_buflimit
HARD_MAX 2 mem_flags 3264
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 acm->ctrlurb->num_mapped_sgs
UNITS 0 acm unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &acm->mutex
HALF_LOCKED2 0 &acm->write_lock