Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/freescale/gianfar.c gfar_clean_rx_ring() -> gfar_alloc_rx_buffs()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 alloc_cnt 16-s32max
CAPPED_DATA 0 rx_queue->next_to_clean 1
DATA_SOURCE 0 rx_queue $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/gianfar.c gfar_clean_rx_ring() -> gfar_alloc_rx_buffs()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 1 alloc_cnt s32min-(-1),1-s32max
BUF_SIZE 0 rx_queue->skb (-1)-s32max
CAPPED_DATA 0 rx_queue->next_to_clean 1
DATA_SOURCE 0 rx_queue $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rx_queue->skb->end
USER_PTR 0 rx_queue->skb->data
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/freescale/gianfar.c gfar_init_bds() -> gfar_alloc_rx_buffs()

Type Parameter Key Value
PARAM_VALUE 0 rx_queue 4096-ptr_max
PARAM_VALUE 0 rx_queue->next_to_alloc 0
PARAM_VALUE 0 rx_queue->next_to_clean 0
PARAM_VALUE 0 rx_queue->next_to_use 0
PARAM_COMPARE 0 rx_queue->next_to_clean == $0->next_to_use
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL