Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/r8152.c read_bulk_callback() -> r8152_submit_rx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->netdev 4096-ptr_max
PARAM_VALUE 0 tp->udev 4096-ptr_max
PARAM_VALUE 0 *tp->netdev->name 0-255
PARAM_VALUE 1 agg 4096-ptr_max
PARAM_VALUE 1 agg->context 4096-ptr_max
PARAM_VALUE 1 agg->context->udev 4096-ptr_max
PARAM_VALUE 1 *agg->context->netdev->name 0-255
PARAM_VALUE 2 mem_flags 2080
BUF_SIZE 1 agg s32min-(-1),1-s32max
BUF_SIZE 1 agg s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 agg unit_byte
HALF_LOCKED2 &pool->lock

drivers/net/usb/r8152.c rtl_start_rx() -> r8152_submit_rx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 tp->rx_done.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_done.prev->prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp->rx_used.next 4096-ptr_max
PARAM_VALUE 0 tp->rx_used.next->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_used.prev 4096-ptr_max
PARAM_VALUE 0 tp->rx_used.prev->next 4096-ptr_max
PARAM_VALUE 0 tp->rx_used.prev->prev 4096-ptr_max
PARAM_VALUE 1 agg 4096-ptr_max
PARAM_VALUE 1 agg->list.next 4096-ptr_max
PARAM_VALUE 1 agg->list.next->next 4096-ptr_max
PARAM_VALUE 1 agg->list.prev 4096-ptr_max
PARAM_VALUE 1 agg->list.prev->next 4096-ptr_max
PARAM_VALUE 1 agg->list.prev->prev 4096-ptr_max
PARAM_VALUE 2 mem_flags 3264
BUF_SIZE 0 tp s32min-(-1),1-s32max
BUF_SIZE 0 tp s32min-(-1),1-s32max
CAPPED_DATA 0 &tp->rx_info 1
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tp->coalesce 0-524280
UNITS 0 tp unit_byte
LOCK2 0 &tp->control
TYPE_LOCK (struct r8152)->control

drivers/net/usb/r8152.c rx_bottom() -> r8152_submit_rx()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->rx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tp->rx_queue.next 4096-ptr_max
PARAM_VALUE 1 agg 4096-ptr_max
PARAM_VALUE 1 agg->page 4096-ptr_max
PARAM_VALUE 2 mem_flags 2080
BUF_SIZE 1 agg (-1)-0,64
BUF_SIZE 1 agg (-1)-0,64
CAPPED_DATA 0 &tp->rx_done 1
CAPPED_DATA 0 &tp->rx_queue 1
DATA_SOURCE 0 tp $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read