Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/chelsio/cxgb4/cxgb4_cudbg.c cxgb4_cudbg_collect_entity() -> cudbg_align_debug_buffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dbg_buff | 8326408141825630208 |
| PARAM_VALUE | 0 | dbg_buff->data | 4096-ptr_max |
| PARAM_VALUE | 0 | dbg_buff->size | 3800-u32max |
| PARAM_VALUE | 1 | entity_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | entity_hdr->entity_type | 1-22,25,27,30-31,36-37,41,43-48,50-51,54-62,64-68,70-71 |
| DATA_SOURCE | 0 | dbg_buff | $1 |
| DATA_SOURCE | 1 | entity_hdr | r cudbg_get_entity_hdr |
| NOCHECK_CALL |