Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/most/most_usb.c hdm_read_completion() -> hdm_remove_padding()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->is_channel_healthy 4096-ptr_max
PARAM_VALUE 0 mdev->padding_active 4096-ptr_max
PARAM_VALUE 1 channel 0-u16max
PARAM_VALUE 2 mbo 4096-ptr_max
PARAM_VALUE 2 mbo->status 0
BUF_SIZE 2 mbo s32min-(-1),1-s32max
BUF_SIZE 2 mbo s32min-(-1),1-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 mbo->processed_length 0-u16max[c][u]
NO_OVERFLOW_SIMPLE 2 mbo->processed_length
UNITS 2 mbo unit_byte
LOCK2 flags
LOCK2 lock
HALF_LOCKED2 &pool->lock