Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/regulator/qcom-labibb-regulator.c qcom_labibb_sc_recovery_worker() -> qcom_labibb_check_sc_status()

Type Parameter Key Value
PARAM_VALUE 0 vreg 4096-ptr_max
PARAM_VALUE 0 vreg->fatal_count s32min-2
PARAM_VALUE 0 vreg->rdev 4096-ptr_max
PARAM_VALUE 0 vreg->rdev->desc 4096-ptr_max
PARAM_VALUE 0 vreg->sc_count s32min-3
FUZZY_MAX 0 vreg->fatal_count 2
FUZZY_MAX 0 vreg->sc_count 3
HARD_MAX 0 vreg->fatal_count 2
HARD_MAX 0 vreg->sc_count 3
HALF_LOCKED2 &pool->lock