Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/pci.c cxl_hdm_decode_init() -> devm_cxl_enable_hdm()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->devres_head.prev 4096-ptr_max
PARAM_VALUE 1 cxlhdm 4096-ptr_max
PARAM_VALUE 1 cxlhdm->decoder_count 0-16,20-32
PARAM_VALUE 1 cxlhdm->interleave_mask 3840,28672,32512
PARAM_VALUE 1 cxlhdm->iw_cap_mask 278,4446,65814,69982
PARAM_VALUE 1 cxlhdm->port 4096-ptr_max
PARAM_VALUE 1 cxlhdm->port->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 1 cxlhdm->port->uport_dev 4096-ptr_max
PARAM_VALUE 1 cxlhdm->regs.hdm_decoder 1-u64max
BUF_SIZE 1 cxlhdm 48
DATA_SOURCE 1 cxlhdm $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 cxlhdm->port->reg_map.max_size
HALF_LOCKED2 &dev->mutex