Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/odp.c mlx5_odp_populate_xlt() -> populate_ksm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pksm | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | nentries | 0-262128 |
| PARAM_VALUE | 3 | imr | 4096-ptr_max |
| PARAM_VALUE | 3 | imr->access_flags | 1048576-s32max |
| PARAM_VALUE | 3 | imr->umem | 4096-ptr_max |
| PARAM_VALUE | 3 | imr->umem->is_odp | 1 |
| PARAM_VALUE | 4 | flags | 3-6,67-68,132,134 |
| BUF_SIZE | 3 | imr | (-1),784 |
| BUF_SIZE | 3 | imr | (-1),784 |
| BUF_SIZE | 3 | imr->ibmr.device | (-1),5000 |
| BUF_SIZE | 3 | imr->ibmr.pd | (-1),16,24,32,40,56,64,176,232,264,280,352,536,680 |
| BUF_SIZE | 3 | imr->umem | (-1),88 |
| CAPPED_DATA | 2 | nentries | 1 |
| CAPPED_DATA | 2 | nentries | 1 |
| DATA_SOURCE | 0 | pksm | $0 |
| DATA_SOURCE | 1 | idx | $1 |
| DATA_SOURCE | 2 | nentries | $2 |
| DATA_SOURCE | 3 | imr | $3 |
| DATA_SOURCE | 4 | flags | $4 |
| BIT_INFO | 4 | flags | 0x40,0xff |
| NOSPEC | 2 | nentries | |
| NOSPEC | 2 | nentries | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | idx | 0-u64max[c] |
| USER_DATA | 2 | nentries | 1-262128[c] |
| USER_DATA | 3 | imr->access_flags | 1048576-s32max |
| USER_DATA | 3 | imr->ibmr.frmr.key.ats | 0-1[c] |
| USER_DATA | 3 | imr->ibmr.iova | 0-u64max |
| USER_DATA | 3 | imr->ibmr.length | 0-u64max |
| USER_DATA | 3 | imr->umem->address | 0-u64max |
| USER_DATA | 3 | imr->umem->iova | 0-u64max |
| USER_DATA | 3 | imr->umem->length | 0-u64max |
| USER_DATA | 3 | imr->umem->writable | 0-1[c] |
| HALF_LOCKED2 | &odp_imr->umem_mutex | ||
| HALF_LOCKED2 | &umem_odp->umem_mutex |