Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/firmware/efi/libstub/x86-stub.c efi_allocate_bootparams() -> efi_set_u64_split()

Type Parameter Key Value
PARAM_VALUE 0 data 1-u64max
PARAM_VALUE 1 lo 4096-ptr_max
PARAM_VALUE 2 hi 4096-ptr_max
DATA_SOURCE 0 data r efi_convert_cmdline
NOCHECK_CALL

drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_set_u64_split()

Type Parameter Key Value
PARAM_VALUE 1 lo 4096-ptr_max
PARAM_VALUE 2 hi 4096-ptr_max
NOCHECK_CALL

drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_set_u64_split()

Type Parameter Key Value
PARAM_VALUE 0 data 1-u64max
PARAM_VALUE 1 lo 4096-ptr_max
PARAM_VALUE 2 hi 4096-ptr_max
FUZZY_MAX 0 data 1
NOCHECK_CALL

drivers/firmware/efi/libstub/x86-stub.c exit_boot_func() -> efi_set_u64_split()

Type Parameter Key Value
PARAM_VALUE 1 lo 4096-ptr_max
PARAM_VALUE 2 hi 4096-ptr_max
NOCHECK_CALL

drivers/firmware/efi/libstub/x86-stub.c exit_boot_func() -> efi_set_u64_split()

Type Parameter Key Value
PARAM_VALUE 1 lo 4096-ptr_max
PARAM_VALUE 2 hi 4096-ptr_max
NOCHECK_CALL

drivers/firmware/efi/libstub/gop.c setup_screen_info() -> efi_set_u64_split()

Type Parameter Key Value
PARAM_VALUE 1 lo 4096-ptr_max
PARAM_VALUE 2 hi 4096-ptr_max
MEM_ZERO 1 lo
MEM_ZERO 2 hi
NOCHECK_CALL