Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_DEC_AND_TEST_NEGATIVE() -> check_negative()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 7006972258276265984 |
| PARAM_VALUE | 1 | start | 0 |
| NOCHECK_CALL |
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_DEC_NEGATIVE() -> check_negative()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 1440248690316627968 |
| PARAM_VALUE | 1 | start | 0 |
| NOCHECK_CALL |
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_SUB_AND_TEST_NEGATIVE() -> check_negative()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 2008436648477364224 |
| PARAM_VALUE | 1 | start | 3 |
| NOCHECK_CALL |
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_SUB_AND_TEST_ZERO() -> check_negative()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 4179809451711762432 |
| PARAM_VALUE | 1 | start | 0 |
| NOCHECK_CALL |