Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bus/fsl-mc/dprc-driver.c __fsl_mc_device_match() -> fsl_mc_device_match()

Type Parameter Key Value
PARAM_VALUE 0 mc_dev 1-u64max
DATA_SOURCE 1 obj_desc $1
STR_LEN 0 mc_dev (-1),31
STR_LEN 1 obj_desc (-1),31
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &endpoint->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &dpm_list_mtx
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 global &nvdimm_bus_list_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 global &wwan_register_lock

drivers/bus/fsl-mc/dprc-driver.c __fsl_mc_device_remove_if_not_in_mc() -> fsl_mc_device_match()

Type Parameter Key Value
PARAM_VALUE 0 mc_dev 4096-ptr_max
PARAM_VALUE 1 obj_desc 4096-ptr_max