Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/core.c device_find_child() -> device_find_child param 2()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
BUF_SIZE 1 data s32min-s32max
DATA_SOURCE 0 dev r next_device
DATA_SOURCE 1 data $1
STR_LEN 0 dev (-1),31
STR_LEN 1 data (-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 _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