Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/test/efi_test.c efi_runtime_get_variable() -> copy_ucs2_from_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 7838065392311291904 |
| PARAM_VALUE | 0 | *dst | 0 |
| PARAM_VALUE | 0 | *(*dst) | 0 |
| PARAM_VALUE | 1 | src | 1-u64max |
drivers/firmware/efi/test/efi_test.c efi_runtime_set_variable() -> copy_ucs2_from_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 789259666039803904 |
| PARAM_VALUE | 0 | *dst | 0 |
| PARAM_VALUE | 0 | *(*dst) | 0 |
| PARAM_VALUE | 1 | src | 1-u64max |