Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/regulator/core.c regulator_disable() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 1 ww_ctx 2858210178059689984
NOCHECK_CALL

drivers/regulator/core.c regulator_disable_work() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 1 ww_ctx 864463369733566464
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/regulator/core.c regulator_enable() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 1 ww_ctx 8267003673384861696
NOCHECK_CALL

drivers/regulator/core.c regulator_force_disable() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 1 ww_ctx 8929974726150414336
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/regulator/core.c regulator_get_voltage() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 1 ww_ctx 998508678040961024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdev->mutex.ctx->deadlock_inject_countdown
NO_OVERFLOW_SIMPLE 0 rdev->mutex.ctx->deadlock_inject_interval
HALF_LOCKED2 &adc->lock
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &devfreq->lock
HALF_LOCKED2 &drv->reg_lock
HALF_LOCKED2 &info->reg_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &cpuidle_lock

drivers/regulator/core.c regulator_resolve_supply() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->mutex.ww_class->acquire_name 0,4096-ptr_max
PARAM_VALUE 0 rdev->mutex.ww_class->is_wait_die 0-1
PARAM_VALUE 0 rdev->mutex.ww_class->mutex_name 0,4096-ptr_max
PARAM_VALUE 0 rdev->mutex_owner 0
PARAM_VALUE 0 rdev->supply 1-u64max
PARAM_VALUE 0 rdev->supply->list.next 4096-ptr_max
PARAM_VALUE 0 rdev->supply->list.prev 4096-ptr_max
PARAM_VALUE 0 rdev->supply->rdev 4096-ptr_max
PARAM_VALUE 0 rdev->supply->rdev->notifier.head 4096-ptr_max
PARAM_VALUE 0 rdev->supply->supply_name 1-u64max
PARAM_VALUE 0 rdev->supply_fwd_nb.next 0,4096-ptr_max
PARAM_VALUE 0 rdev->supply_fwd_nb.notifier_call 7689597362385813504
PARAM_VALUE 1 ww_ctx 4636161381130256384
PARAM_VALUE 1 ww_ctx->done_acquire 1
BUF_SIZE 0 rdev (-1),4040
BUF_SIZE 0 rdev (-1),4040
CAPPED_DATA 0 rdev 1
CAPPED_DATA 0 rdev->supply->rdev->notifier.head 1
DATA_SOURCE 0 rdev $0
STR_LEN 0 rdev (-1),2-11,21,31
STR_LEN 0 rdev (-1),2-11,21,31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/regulator/core.c regulator_set_suspend_voltage() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 1 ww_ctx 5677905910954188800
NOCHECK_CALL

drivers/regulator/core.c regulator_set_voltage() -> regulator_lock_dependent()

Type Parameter Key Value
PARAM_VALUE 1 ww_ctx 1909401411367448576
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 rdev->mutex.ctx->deadlock_inject_countdown
NO_OVERFLOW_SIMPLE 0 rdev->mutex.ctx->deadlock_inject_interval
HALF_LOCKED2 &data->lock
HALF_LOCKED2 &devfreq->lock
HALF_LOCKED2 &dmc->lock
HALF_LOCKED2 &info->reg_lock
HALF_LOCKED2 &led->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &gmin_regulator_mutex
HALF_LOCKED2 global &set_freq_lock