Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_ADD_NOT_ZERO_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 6231554509945319424
PARAM_VALUE 0 ref->refs.counter (-1073741824),0-s32max
NOCHECK_CALL

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_ADD_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 2931866480025153536
NOCHECK_CALL

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_DEC_AND_TEST_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 922737755425492992
NOCHECK_CALL

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_DEC_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 9214828791199420416
NOCHECK_CALL

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_INC_NOT_ZERO_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 3419273867634249728
PARAM_VALUE 0 ref->refs.counter (-1073741824),0-s32max
NOCHECK_CALL

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_INC_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 255288984423051264
NOCHECK_CALL

drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_SUB_AND_TEST_SATURATED() -> check_saturated()

Type Parameter Key Value
PARAM_VALUE 0 ref 1527500843225194496
NOCHECK_CALL