Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/base/bus.c bus_find_device_reverse() -> prev_device()

Type Parameter Key Value
PARAM_VALUE 0 i 7259433761332486144
PARAM_VALUE 0 i->i_cur 0,4096-ptr_max
PARAM_VALUE 0 i->i_klist 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/base/bus.c bus_find_device_reverse() -> prev_device()

Type Parameter Key Value
PARAM_VALUE 0 i 7259433761332486144
PARAM_VALUE 0 i->i_cur 0,4096-ptr_max
PARAM_VALUE 0 i->i_klist 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/base/core.c device_for_each_child_reverse() -> prev_device()

Type Parameter Key Value
PARAM_VALUE 0 i 6257366761859395584
PARAM_VALUE 0 i->i_cur 0,4096-ptr_max
PARAM_VALUE 0 i->i_klist 1-u64max
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

drivers/base/core.c device_for_each_child_reverse() -> prev_device()

Type Parameter Key Value
PARAM_VALUE 0 i 6257366761859395584
PARAM_VALUE 0 i->i_cur 0,4096-ptr_max
PARAM_VALUE 0 i->i_klist 4096-ptr_max
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

drivers/base/core.c device_for_each_child_reverse_from() -> prev_device()

Type Parameter Key Value
PARAM_VALUE 0 i 8635549970786578432
PARAM_VALUE 0 i->i_cur 0,4096-ptr_max
PARAM_VALUE 0 i->i_klist 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/base/core.c device_for_each_child_reverse_from() -> prev_device()

Type Parameter Key Value
PARAM_VALUE 0 i 8635549970786578432
PARAM_VALUE 0 i->i_cur 0,4096-ptr_max
PARAM_VALUE 0 i->i_klist 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex