Defined in 1 files as a function:
Referenced in 4 files:
- arch/arm/kernel/entry-armv.S
- arch/arm64/kernel/module.c
- drivers/misc/lkdtm/refcount.c
- drivers/net/usb/rndis_host.c
Smatch caller information:
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_ADD_NOT_ZERO_OVERFLOW() -> overflow_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 7218740638088908800 |
| PARAM_VALUE | 0 | ref->refs.counter | (-1073741824),0-s32max |
| NOCHECK_CALL |
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_ADD_OVERFLOW() -> overflow_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 6023483045546663936 |
| NOCHECK_CALL |
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_INC_NOT_ZERO_OVERFLOW() -> overflow_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 6270248914148536320 |
| PARAM_VALUE | 0 | ref->refs.counter | (-1073741824),0-s32max |
| NOCHECK_CALL |
drivers/misc/lkdtm/refcount.c lkdtm_REFCOUNT_INC_OVERFLOW() -> overflow_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ref | 1408891731963957248 |
| NOCHECK_CALL |