Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/qlogic/qed/qed_chain.c qed_chain_alloc_next_ptr() -> qed_chain_init_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chain | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->p_virt_addr | 0-ptr_max |
| PARAM_VALUE | 1 | virt_addr | 1-ptr_max |
| BUF_SIZE | 1 | virt_addr | 4096 |
| BUF_SIZE | 1 | virt_addr | 4096 |
| DATA_SOURCE | 0 | chain | $1 |
| DATA_SOURCE | 1 | virt_addr | r dma_alloc_coherent |
| MEM_ZERO | 0 | chain | |
| MEM_ZERO | 1 | virt_addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | chain->capacity | 0-143172096[c] |
| USER_DATA | 0 | chain->page_cnt | 1-279633[c] |
| USER_DATA | 0 | chain->pbl.c.u32.cons_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | chain->pbl.c.u32.prod_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | chain->size | 0-143172096[c] |
| HALF_LOCKED2 | &edev->qede_lock |
drivers/net/ethernet/qlogic/qed/qed_chain.c qed_chain_alloc_pbl() -> qed_chain_init_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chain | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->p_virt_addr | 0-ptr_max |
| PARAM_VALUE | 1 | virt_addr | 1-ptr_max |
| BUF_SIZE | 0 | chain->pbl.pp_addr_tbl | 0-4474128 |
| BUF_SIZE | 0 | chain->pbl_sp.table_virt | 0-2237064,u64max |
| BUF_SIZE | 1 | virt_addr | 4096 |
| BUF_SIZE | 1 | virt_addr | 4096 |
| CAPPED_DATA | 0 | chain->pbl_sp.table_size | 1 |
| DATA_SOURCE | 0 | chain | $1 |
| DATA_SOURCE | 1 | virt_addr | r dma_alloc_coherent |
| NOSPEC | 0 | chain->pbl_sp.table_size | |
| MEM_ZERO | 0 | chain | |
| MEM_ZERO | 1 | virt_addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | chain->capacity | 0-143172096[c] |
| USER_DATA | 0 | chain->page_cnt | 0-279633[c] |
| USER_DATA | 0 | chain->pbl.c.u32.cons_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | chain->pbl.c.u32.prod_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | chain->pbl_sp.table_size | 0-2237064[c] |
| USER_DATA | 0 | 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_chain.c qed_chain_alloc_single() -> qed_chain_init_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chain | 4096-ptr_max |
| PARAM_VALUE | 0 | chain->p_phys_addr | 0 |
| PARAM_VALUE | 0 | chain->p_virt_addr | 0 |
| PARAM_VALUE | 1 | virt_addr | 1-ptr_max |
| BUF_SIZE | 1 | virt_addr | 4096 |
| BUF_SIZE | 1 | virt_addr | 4096 |
| DATA_SOURCE | 0 | chain | $1 |
| DATA_SOURCE | 1 | virt_addr | r dma_alloc_coherent |
| MEM_ZERO | 0 | chain | |
| MEM_ZERO | 1 | virt_addr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | chain->capacity | 0-143172096[c] |
| USER_DATA | 0 | chain->page_cnt | 1[c] |
| USER_DATA | 0 | chain->size | 0-143172096[c] |
drivers/net/ethernet/qlogic/qed/qed_chain.c qed_chain_free() -> qed_chain_init_mem()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chain | 4096-ptr_max |
| PARAM_VALUE | 1 | virt_addr | 0 |
| PARAM_VALUE | 2 | phys_addr | 0 |
| DATA_SOURCE | 0 | chain | $1 |
| NOSPEC | 0 | chain->page_cnt | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | chain->capacity | 0-143172096[c] |
| USER_DATA | 0 | chain->page_cnt | 0-279633[c] |
| USER_DATA | 0 | chain->pbl.c.u16.cons_page_idx | 0-u16max |
| USER_DATA | 0 | chain->pbl.c.u16.prod_page_idx | 0-u16max |
| USER_DATA | 0 | chain->pbl.c.u32.cons_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | chain->pbl.c.u32.prod_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | chain->pbl_sp.table_size | 0-2237064[c] |
| USER_DATA | 0 | chain->size | 0-143172096[c] |
| NO_OVERFLOW_SIMPLE | 0 | chain->page_size | |
| HALF_LOCKED2 | &edev->qede_lock | ||
| HALF_LOCKED2 | global &qedr_dev_list_lock | ||
| HALF_LOCKED2 | global &rx_queue_mutex |