Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/bus/fsl-mc/fsl-mc-bus.c fsl_mc_bus_probe() -> fsl_mc_device_add()

Type Parameter Key Value
PARAM_VALUE 0 obj_desc 3228051879228813312
PARAM_VALUE 0 obj_desc->irq_count 1
PARAM_VALUE 0 obj_desc->region_count 0
PARAM_VALUE 0 obj_desc->vendor 6487
PARAM_VALUE 1 mc_io 4096-ptr_max
PARAM_VALUE 1 mc_io->dev s64min-(-4096),4096-s64max
PARAM_VALUE 1 mc_io->flags 1
PARAM_VALUE 1 mc_io->spinlock.dep_map->name 0-255
PARAM_VALUE 1 mc_io->spinlock.magic 0,3735899821
PARAM_VALUE 1 mc_io->spinlock.owner (-1)
PARAM_VALUE 1 mc_io->spinlock.owner_cpu u32max
PARAM_VALUE 2 parent_dev 4096-ptr_max
PARAM_VALUE 2 parent_dev->bus 0,4096-ptr_max
PARAM_VALUE 2 parent_dev->class 0,4096-ptr_max
PARAM_VALUE 2 parent_dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 2 parent_dev->driver 0,4096-ptr_max
PARAM_VALUE 2 parent_dev->driver_data 4096-ptr_max
PARAM_VALUE 2 parent_dev->of_node 0,4096-ptr_max
PARAM_VALUE 3 new_mc_dev 569371734875328512
PARAM_VALUE 3 *new_mc_dev 0
MEM_ZERO 0 obj_desc
RX_PATH
TASK_NOT_RUNNING

drivers/bus/fsl-mc/dprc-driver.c fsl_mc_obj_device_add() -> fsl_mc_device_add()

Type Parameter Key Value
PARAM_VALUE 0 obj_desc 4096-ptr_max
PARAM_VALUE 1 mc_io 0
PARAM_VALUE 2 parent_dev 4096-ptr_max
PARAM_VALUE 3 new_mc_dev 4479004244184305664
PARAM_VALUE 3 *new_mc_dev 0
DATA_SOURCE 0 obj_desc $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mc_bus->scan_mutex
HALF_LOCKED2 &root_mc_bus->scan_mutex
TYPE_LOCK (struct fsl_mc_bus)->scan_mutex