Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/region.c cxl_dpa_to_hpa() -> (struct cxl_rd_ops)->hpa_to_spa()

Type Parameter Key Value
PARAM_VALUE 0 cxlrd 4096-ptr_max
PARAM_VALUE 0 cxlrd->ops.hpa_to_spa 1-u64max
CONTAINER 0 -0-280+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cxlmd->dev.mutex
LOCK2 _T->lock
HALF_LOCKED2 &mds->event.log_lock
HALF_LOCKED2 &pdev->dev.mutex
TYPE_LOCK (struct device)->mutex

drivers/cxl/core/region.c region_offset_to_dpa_result() -> (struct cxl_rd_ops)->spa_to_hpa()

Type Parameter Key Value
PARAM_VALUE 0 cxlrd 4096-ptr_max
PARAM_VALUE 0 cxlrd->ops.spa_to_hpa 1-u64max
CONTAINER 0 -8-280+0 $(-1)
LOCK2 &attr->mutex
TYPE_LOCK (struct simple_attr)->mutex