Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/atm/usbatm.c usbatm_rx_process() -> usbatm_extract_cells()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 source 4096-ptr_max
PARAM_VALUE 2 avail_data 1-u32max
PARAM_COMPARE 0 &instance->rx_channel.list != $0->rx_channel.list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 source unit_byte
HALF_LOCKED2 bh

drivers/usb/atm/usbatm.c usbatm_rx_process() -> usbatm_extract_cells()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 source 0,4096-ptr_max
PARAM_VALUE 2 avail_data 1-u32max
PARAM_COMPARE 0 &instance->rx_channel.list != $0->rx_channel.list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 source unit_byte
HALF_LOCKED2 bh

drivers/usb/atm/usbatm.c usbatm_rx_process() -> usbatm_extract_cells()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 source 0,4096-ptr_max
PARAM_VALUE 2 avail_data 1-u32max
PARAM_COMPARE 0 &instance->rx_channel.list != $0->rx_channel.list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 source unit_byte
HALF_LOCKED2 bh

drivers/usb/atm/usbatm.c usbatm_rx_process() -> usbatm_extract_cells()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 0 instance->rx_channel.lock.rlock.dep_map->name 0-255
BUF_SIZE 1 source s32min-(-2),1-s32max
PARAM_COMPARE 0 &instance->rx_channel.list != $0->rx_channel.list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 source unit_byte
UNITS 2 avail_data unit_byte
HALF_LOCKED2 bh