Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/usb/rtl8150.c read_bulk_callback() -> pull_skb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->rx_skb 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 dev->rx_skb->data->h_proto 0-u16max[u]
USER_DATA 0 dev->rx_skb->protocol 0-u16max[u]
UNITS 0 dev unit_byte
LOCK2 flags
LOCK2 0 &dev->rx_pool_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct rtl8150)->rx_pool_lock

drivers/net/usb/rtl8150.c rtl8150_open() -> pull_skb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/usb/rtl8150.c rx_fixup() -> pull_skb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
LOCK2 0 &dev->rx_pool_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct rtl8150)->rx_pool_lock