Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/test/efi_test.c copy_ucs2_from_user() -> copy_ucs2_from_user_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 789259666039803904,7838065392311291904 |
| PARAM_VALUE | 0 | *dst | 0 |
| PARAM_VALUE | 0 | *(*dst) | 0 |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | len | 2,4-u64max |
| DATA_SOURCE | 0 | dst | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | len | r user_ucs2_strsize |
drivers/firmware/efi/test/efi_test.c efi_runtime_get_nextvariablename() -> copy_ucs2_from_user_len()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 351657213514964992 |
| PARAM_VALUE | 0 | *dst | 0 |
| PARAM_VALUE | 0 | *(*dst) | 0 |
| PARAM_VALUE | 1 | src | 1-u64max |
| PARAM_VALUE | 2 | len | 2-u64max |
| USER_DATA | 2 | len | 3-u64max |