Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/qlogic/qed/qed_chain.c qed_chain_free() -> qed_chain_free_next_ptr()

Type Parameter Key Value
PARAM_VALUE 0 cdev->pdev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 cdev->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 1 chain 4096-ptr_max
PARAM_VALUE 1 chain->mode 0
BUF_SIZE 0 cdev (-1),27400
BUF_SIZE 0 cdev (-1),27400
DATA_SOURCE 0 cdev $0
DATA_SOURCE 1 chain $1
NOSPEC 1 chain->page_cnt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 chain->capacity 0-143172096[c]
USER_DATA 1 chain->page_cnt 0-279633[c]
USER_DATA 1 chain->pbl.c.u16.cons_page_idx 0-u16max
USER_DATA 1 chain->pbl.c.u16.prod_page_idx 0-u16max
USER_DATA 1 chain->pbl.c.u32.cons_page_idx 0-279632,u32max[u]
USER_DATA 1 chain->pbl.c.u32.prod_page_idx 0-279632,u32max[u]
USER_DATA 1 chain->pbl_sp.table_size 0-2237064[c]
USER_DATA 1 chain->size 0-143172096[c]
NO_OVERFLOW_SIMPLE 0 cdev->num_ports_in_engine
NO_OVERFLOW_SIMPLE 1 chain->page_size
HALF_LOCKED2 &edev->qede_lock
HALF_LOCKED2 global &qedr_dev_list_lock