Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/ethernet/qlogic/qed/qed_chain.c qed_chain_reset() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
PARAM_VALUE 0 p_chain->cnt_type 0-1
PARAM_VALUE 0 p_chain->elem_per_page_mask 31,127,255,511
PARAM_VALUE 0 p_chain->elem_unusable 0-2
PARAM_VALUE 0 p_chain->usable_per_page 30-32,126-128,254-256,510-512
BUF_SIZE 0 p_chain->p_cons_elem 4096
BUF_SIZE 0 p_chain->p_prod_elem 4096
BUF_SIZE 0 p_chain->pbl.pp_addr_tbl 0-4474128
BUF_SIZE 0 p_chain->pbl_sp.table_virt (-1)-2237064
CAPPED_DATA 0 p_chain->capacity 1
CAPPED_DATA 0 p_chain->pbl_sp.table_size 1
DATA_SOURCE 0 p_chain $0
NOSPEC 0 p_chain->capacity
NOSPEC 0 p_chain->pbl_sp.table_size
HARD_MAX 0 p_chain->cnt_type 1
MEM_ZERO 0 p_chain
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 p_chain->capacity 1-143172096[c]
USER_DATA 0 p_chain->page_cnt 0-279633[c]
USER_DATA 0 p_chain->pbl.c.u16.cons_page_idx 0-u16max
USER_DATA 0 p_chain->pbl.c.u16.prod_page_idx 0-u16max
USER_DATA 0 p_chain->pbl.c.u32.cons_page_idx 0-279632,u32max
USER_DATA 0 p_chain->pbl.c.u32.prod_page_idx 0-279632,u32max
USER_DATA 0 p_chain->pbl_sp.table_size 0-2237064[c]
USER_DATA 0 p_chain->size 0-143172096[c]
HALF_LOCKED2 &edev->qede_lock
HALF_LOCKED2 global &qedr_dev_list_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/ethernet/qlogic/qed/qed_ll2.c qed_chain_reset() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
PARAM_VALUE 0 p_chain->u.chain32.prod_idx 0-256
BUF_SIZE 0 p_chain->p_cons_elem 4096
BUF_SIZE 0 p_chain->p_prod_elem 4096
DATA_SOURCE 0 p_chain $0
FUZZY_MAX 0 p_chain->u.chain32.prod_idx 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/qlogic/qede/qede_ethtool.c qede_selftest_receive_traffic() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
NOCHECK_CALL

drivers/net/ethernet/qlogic/qede/qede_ethtool.c qede_selftest_receive_traffic() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
NOCHECK_CALL

drivers/net/ethernet/qlogic/qed/qed_spq.c qed_chain_reset() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
PARAM_VALUE 0 p_chain->u.chain32.prod_idx 0-256
BUF_SIZE 0 p_chain->p_cons_elem 4096
BUF_SIZE 0 p_chain->p_prod_elem 4096
DATA_SOURCE 0 p_chain $0
FUZZY_MAX 0 p_chain->u.chain32.prod_idx 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/qlogic/qed/qed_spq.c qed_eq_completion() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
BUF_SIZE 0 p_chain 128
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/net/ethernet/qlogic/qede/qede_fp.c qede_rx_int() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/qedr/verbs.c qed_chain_reset() -> qed_chain_recycle_consumed()

Type Parameter Key Value
PARAM_VALUE 0 p_chain 4096-ptr_max
PARAM_VALUE 0 p_chain->u.chain32.prod_idx 0-256
BUF_SIZE 0 p_chain->p_cons_elem 4096
BUF_SIZE 0 p_chain->p_prod_elem 4096
DATA_SOURCE 0 p_chain $0
FUZZY_MAX 0 p_chain->u.chain32.prod_idx 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL