Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/ecc.c vli_sub() -> sub_borrow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | result | 4096-ptr_max |
| PARAM_VALUE | 3 | borrow_in | 0-1 |
| PARAM_VALUE | 4 | borrow_out | 8688216123308036096 |
| PARAM_VALUE | 4 | *borrow_out | 0-1 |
| FUZZY_MAX | 3 | borrow_in | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |