Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/pci.c cxl_await_media_ready() -> cxl_dvsec_mem_range_valid()

Type Parameter Key Value
PARAM_VALUE 0 cxlds 4096-ptr_max
PARAM_VALUE 0 cxlds->cxl_dvsec 0,256-4092
PARAM_VALUE 0 cxlds->cxl_mbox.feat_mutex.dep_map->name 0-255
PARAM_VALUE 0 cxlds->cxl_mbox.feat_mutex.first_waiter 0
PARAM_VALUE 0 cxlds->cxl_mbox.feat_mutex.magic 4096-ptr_max
PARAM_VALUE 0 cxlds->cxl_mbox.host 1-u64max
PARAM_VALUE 0 cxlds->cxl_mbox.mbox_mutex.dep_map->name 0-255
PARAM_VALUE 0 cxlds->cxl_mbox.mbox_mutex.first_waiter 0
PARAM_VALUE 0 cxlds->cxl_mbox.mbox_mutex.magic 4096-ptr_max
PARAM_VALUE 0 cxlds->cxl_mbox.mbox_wait.task 0
PARAM_VALUE 0 cxlds->dev 1-u64max
PARAM_VALUE 1 id 0-s32max
BUF_SIZE 0 cxlds 936
CAPPED_DATA 1 id 1
DATA_SOURCE 0 cxlds $0
RX_PATH
TASK_NOT_RUNNING

drivers/cxl/core/pci.c cxl_dvsec_rr_decode() -> cxl_dvsec_mem_range_valid()

Type Parameter Key Value
PARAM_VALUE 0 cxlds 4096-ptr_max
PARAM_VALUE 0 cxlds->cxl_dvsec 256-4092
PARAM_VALUE 1 id 0-1
CAPPED_DATA 1 id 1
DATA_SOURCE 0 cxlds $0
FUZZY_MAX 1 id 1
HARD_MAX 1 id 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex