Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/firmware/efi/libstub/x86-stub.c efi_decompress_kernel() -> efi_random_alloc()

Type Parameter Key Value
PARAM_VALUE 0 size 0,2097152-u64max
PARAM_VALUE 1 align 2097152
PARAM_VALUE 2 addr 4524963182926548992
PARAM_VALUE 3 random_seed 0-u32max
PARAM_VALUE 4 memory_type 1
PARAM_VALUE 5 alloc_min 16777216
PARAM_VALUE 6 alloc_max u32max,u64max
FUZZY_MAX 6 alloc_max u64max
BIT_INFO 0 size 0x0,0xffffffffffe00000
BIT_INFO 0 size 0x0,0xffffffffffe00000
HARD_MAX 6 alloc_max u64max