Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/infiniband/core/ib_core_uverbs.c, line 540 (as a function)
- drivers/infiniband/core/rdma_core.h, line 77 (as a function)
Referenced in 3 files:
- drivers/infiniband/core/ib_core_uverbs.c, line 545
- drivers/infiniband/core/uverbs_cmd.c, line 641
- drivers/infiniband/core/verbs.c, line 1335
Smatch caller information:
drivers/infiniband/core/verbs.c create_qp() -> uverbs_get_cleared_udata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | attrs | 4096-ptr_max |
| BUF_SIZE | 0 | attrs->ufile | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | attrs->ufile | 1 |
| CAPPED_DATA | 0 | attrs->ufile->device->disassociate_srcu.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | attrs | $3 |
| NOSPEC | 0 | attrs->ucore.inlen | |
| RX_PATH | |||
| USER_DATA | 0 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 0 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 0 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 0 | attrs->ucore.outlen | 0-524280 |
drivers/infiniband/core/uverbs_cmd.c ib_uverbs_open_xrcd() -> uverbs_get_cleared_udata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | attrs | 4096-ptr_max |
| CAPPED_DATA | 0 | attrs->ucore.inlen | 1 |
| DATA_SOURCE | 0 | attrs | $0 |
| NOSPEC | 0 | attrs->ucore.inlen | |
| USER_DATA | 0 | attrs->driver_udata.inlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 0 | attrs->driver_udata.outlen | 0-524280,18446744073709551361-u64max |
| USER_DATA | 0 | attrs->ucore.inlen | 4-120[c] |
| USER_DATA | 0 | attrs->ucore.outlen | 0-524280 |
| LOCK2 | &ibudev->xrcd_tree_mutex | ||
| HALF_LOCKED2 | &file->device->disassociate_srcu | ||
| TYPE_LOCK | (struct ib_uverbs_device)->xrcd_tree_mutex |