Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/cdat.c cxl_region_shared_upstream_bandwidth_update() -> cxl_region_update_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 cxlr 4096-ptr_max
PARAM_VALUE 0 cxlr->cxlrd 4096-ptr_max
PARAM_VALUE 0 cxlr->cxlrd->cxlsd.cxld.dev.parent 4096-ptr_max
PARAM_VALUE 0 cxlr->mode 0-1
PARAM_VALUE 0 cxlr->params.interleave_ways (-2147483647)-s32max
PARAM_VALUE 0 cxlr->params.nr_targets (-2147483647)-s32max
PARAM_VALUE 0 cxlr->params.res 4096-ptr_max
PARAM_VALUE 0 cxlr->params.state 2,4
PARAM_VALUE 1 input_xa 4096-ptr_max
BUF_SIZE 0 cxlr (-1),1944
BUF_SIZE 0 cxlr (-1),1944
CAPPED_DATA 0 cxlr->params.interleave_ways 1
CAPPED_DATA 0 cxlr->params.nr_targets 1
DATA_SOURCE 0 cxlr $0
FUZZY_MAX 0 cxlr->params.nr_targets 1
HARD_MAX 0 cxlr->params.state 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex