Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
DATA_SOURCE 0 dev r next_device
DATA_SOURCE 1 context $1

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

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 context 0,4096-ptr_max
BUF_SIZE 1 context (-1),4,16,24
BUF_SIZE 1 context (-1),4,16,24
DATA_SOURCE 0 dev r prev_device
DATA_SOURCE 1 context $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &nh->srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &ptp->n_vclocks_mux