Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/test/efi_test.c efi_runtime_get_nextvariablename() -> get_ucs2_strsize_from_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | src | 1-u64max |
| PARAM_VALUE | 1 | len | 5862461940875583488 |
| PARAM_VALUE | 1 | *len | 0 |