Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/addr.c process_one_req() -> (struct addr_req)->callback()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | status | s32min-(-62),(-60)-s32max |
| PARAM_VALUE | 1 | src_addr | 4096-ptr_max |
| BUF_SIZE | 1 | src_addr | 128 |
| BUF_SIZE | 3 | context | 104 |
| CONTAINER | 0 | *(-288+492) | $(-1) |
| CONTAINER | 1 | -288+16 | $(-1) |
| CONTAINER | 2 | *(-288+272) | $(-1) |
| CONTAINER | 3 | *(-288+280) | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |