Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/jme.c jme_alloc_and_feed_skb() -> jme_set_clean_rxdesc()

Type Parameter Key Value
PARAM_VALUE 0 jme 4096-ptr_max
PARAM_VALUE 0 jme->dev 4096-ptr_max
PARAM_VALUE 0 jme->rxring 4096-ptr_max
DATA_SOURCE 0 jme $0
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/jme.c jme_process_receive() -> jme_set_clean_rxdesc()

Type Parameter Key Value
PARAM_VALUE 0 jme 4096-ptr_max
PARAM_VALUE 0 jme->dev 4096-ptr_max
PARAM_VALUE 0 jme->rxring 4096-ptr_max
DATA_SOURCE 0 jme $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/net/ethernet/jme.c jme_setup_rx_resources() -> jme_set_clean_rxdesc()

Type Parameter Key Value
PARAM_VALUE 0 jme 4096-ptr_max
PARAM_VALUE 0 jme->dev 4096-ptr_max
PARAM_VALUE 0 jme->rxring 4096-ptr_max
PARAM_VALUE 1 i 0-s32max
CAPPED_DATA 1 i 1
DATA_SOURCE 0 jme $0
FUZZY_MAX 1 i 0
PARAM_COMPARE 1 i < $0->rx_ring_size
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 jme->rx_ring_size
NO_OVERFLOW_SIMPLE 1 i
UNITS 1 i unit_array_size
HALF_LOCKED2 &pool->lock