Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/reset/core.c __reset_control_release() -> reset_controller_remove()

Type Parameter Key Value
PARAM_VALUE 0 rcdev 1-u64max
PARAM_VALUE 1 rstc 4096-ptr_max
PARAM_VALUE 1 rstc->rcdev 0
PARAM_COMPARE 0 rcdev >= $1->rcdev
PARAM_COMPARE 0 rcdev >= $1->rcdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/reset/core.c reset_controller_unregister() -> reset_controller_remove()

Type Parameter Key Value
PARAM_VALUE 0 rcdev 4096-ptr_max
PARAM_VALUE 1 rstc 4096-ptr_max
PARAM_VALUE 1 rstc->rcdev 0
PARAM_VALUE 1 rstc->srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 1 rstc->srcu.srcu_sup->lock.owner (-1)
PARAM_VALUE 1 rstc->srcu.srcu_sup->lock.owner_cpu u32max
PARAM_VALUE 1 rstc->srcu.srcu_sup->sda_is_static 1
PARAM_VALUE 1 rstc->srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 1 rstc->srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 1 rstc->srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 1 rstc->srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 1 rstc->srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
CAPPED_DATA 0 &rcdev->reset_control_head 1
CAPPED_DATA 1 &rstc->list 1
DATA_SOURCE 0 rcdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &_dev->mutex