Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/cxl/core/hdm.c cxl_setup_hdm_decoder_from_dvsec() -> devm_cxl_dpa_reserve()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cxled | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | skipped | 0 |
| DATA_SOURCE | 0 | cxled | r to_cxl_endpoint_decoder |
| DATA_SOURCE | 2 | len | r range_len |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &port->dev.mutex |
drivers/cxl/core/hdm.c init_hdm_decoder() -> devm_cxl_dpa_reserve()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cxled | 4096-ptr_max |
| PARAM_VALUE | 0 | cxled->cxld.dev.parent | 4096-ptr_max |
| DATA_SOURCE | 0 | cxled | r to_cxl_endpoint_decoder |
| DATA_SOURCE | 2 | len | r div_u64_rem |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | len | 0-18446744073709551614[c] |
| HOST_DATA | 3 | skipped | 0-u64max[c] |
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &port->dev.mutex |