Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/ahash.c crypto_hash_walk_done() -> hash_walk_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | walk | 2129656714392735744,4570781062532513792 |
| PARAM_VALUE | 0 | walk->entrylen | 1-u32max |
| PARAM_VALUE | 0 | walk->offset | 0 |
| DATA_SOURCE | 0 | walk | $0 |
| BIT_INFO | 0 | walk->flags | 0x0,0xfffffffe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | walk->entrylen | 1-2147483645[c] |
| HOST_DATA | 0 | walk->total | 0-u32max[c] |
| USER_DATA | 0 | walk->entrylen | 1-2147483646[c] |
| USER_DATA | 0 | walk->total | 1-2147483646[c] |
crypto/ahash.c hash_walk_new_entry() -> hash_walk_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | walk | 2129656714392735744,4570781062532513792 |
| PARAM_VALUE | 0 | walk->offset | 0-4095 |
| PARAM_VALUE | 0 | walk->pg | 0-ptr_max |
| BUF_SIZE | 0 | walk->sg | (-1),64 |
| CAPPED_DATA | 0 | walk->entrylen | 1 |
| DATA_SOURCE | 0 | walk | $0 |
| PARAM_COMPARE | 0 | walk->entrylen | <= $0->total |
| NOSPEC | 0 | walk->total | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | walk->entrylen | 0-s32max,4294963202-4294967294[c] |
| HOST_DATA | 0 | walk->sg->length | 0-2147483646[c] |
| HOST_DATA | 0 | walk->total | 0-u32max[c] |
| USER_DATA | 0 | walk->entrylen | 1-u32max[c] |
| USER_DATA | 0 | walk->offset | 0-2555[c] |
| USER_DATA | 0 | walk->sg->length | 1-u32max[c] |
| USER_DATA | 0 | walk->sg->offset | 0-2147551739[c] |
| USER_DATA | 0 | walk->total | 1-2147483646[c] |