Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/sw/rxe/rxe_srq.c rxe_srq_from_attr() -> rxe_queue_resize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | udata | 0,4096-ptr_max |
| PARAM_VALUE | 3 | udata->inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 3 | udata->outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 5 | producer_lock | 4096-ptr_max |
| PARAM_VALUE | 6 | consumer_lock | 4096-ptr_max |
| CAPPED_DATA | 3 | udata->inlen | 1 |
| DATA_SOURCE | 3 | udata | $5 |
| NOSPEC | 3 | udata->inlen | |
| USER_DATA | 1 | *num_elem_p | 0-u32max |
| USER_DATA | 3 | udata->inlen | 0-524280,18446744073709551361-u64max[c] |
| USER_DATA | 3 | udata->outlen | 0-524280,18446744073709551361-u64max |
| UNITS | 2 | elem_size | unit_byte |
| USER_PTR | 1 | num_elem_p |
drivers/infiniband/sw/rxe/rxe_cq.c rxe_cq_resize_queue() -> rxe_queue_resize()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | *num_elem_p | 1-u32max |
| PARAM_VALUE | 2 | elem_size | 72 |
| PARAM_VALUE | 3 | udata | 0,4096-ptr_max |
| PARAM_VALUE | 3 | udata->inlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 3 | udata->outlen | 0-524280,18446744073709551361-u64max |
| PARAM_VALUE | 5 | producer_lock | 0 |
| PARAM_VALUE | 6 | consumer_lock | 4096-ptr_max |
| BUF_SIZE | 4 | outbuf | 0,16 |
| DATA_SOURCE | 3 | udata | $3 |
| FUZZY_MAX | 3 | udata->outlen | 16 |
| USER_DATA | 1 | *num_elem_p | 2-s32max[c] |
| USER_DATA | 3 | udata->inlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 3 | udata->outlen | 0-524280,18446744073709551361-u64max |
| UNITS | 2 | elem_size | unit_byte |
| USER_PTR | 1 | num_elem_p | |
| HALF_LOCKED2 | &file->device->disassociate_srcu |