Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/class/cdc-acm.c acm_start_wb() -> acm_write_done()

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->susp_count 0
PARAM_VALUE 1 wb 4096-ptr_max
PARAM_VALUE 1 wb->urb 4096-ptr_max
BUF_SIZE 0 acm s32min-(-2),1-s32max
BUF_SIZE 0 acm s32min-(-2),1-s32max
BUF_SIZE 1 wb s32min-(-2),1-s32max
BUF_SIZE 1 wb s32min-(-2),1-s32max
CAPPED_DATA 1 wb->urb 1
DATA_SOURCE 0 acm $0
DATA_SOURCE 1 wb $1
NOSPEC 1 wb->len
NOSPEC 1 wb->urb->transfer_buffer_length
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 wb->len 1-s32max[c]
HOST_DATA 1 wb->urb->transfer_buffer_length 1-s32max[c]
USER_DATA 1 wb->len 1-65543[c]
USER_DATA 1 wb->urb->transfer_buffer_length 1-65543[c]
USER_DATA 1 *wb->buf 0-255
NO_OVERFLOW_SIMPLE 0 acm->ctrlurb->num_mapped_sgs
NO_OVERFLOW_SIMPLE 1 wb->urb->num_mapped_sgs
UNITS 0 acm unit_byte
UNITS 1 wb unit_byte
USER_PTR 1 wb->buf
USER_PTR 1 wb->urb->transfer_buffer
LOCK2 0 &acm->write_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct acm)->write_lock

drivers/usb/class/cdc-acm.c acm_write_bulk() -> acm_write_done()

Type Parameter Key Value
PARAM_VALUE 1 wb 4096-ptr_max
BUF_SIZE 1 wb s32min-(-1),1-s32max
BUF_SIZE 1 wb s32min-(-1),1-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 wb unit_byte
LOCK2 flags
LOCK2 0 &acm->write_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct acm)->write_lock