Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/firmware/efi/libstub/fdt.c, line 126
- drivers/firmware/efi/libstub/kaslr.c, line 36
- drivers/firmware/efi/libstub/loongarch.c, line 32
- drivers/firmware/efi/libstub/x86-stub.c, line 801
- drivers/firmware/efi/libstub/zboot.c, line 75
Smatch caller information:
drivers/firmware/efi/libstub/x86-stub.c efi_get_seed() -> efi_get_random_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | size | 8 |
| PARAM_VALUE | 1 | out | 5895387925546606592 |
| BUF_SIZE | 1 | out | 8 |
| DATA_SOURCE | 0 | size | $1 |
| DATA_SOURCE | 1 | out | $0 |
| NOCHECK_CALL | |||
| UNITS | 0 | size | unit_byte |