Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 sys_table_arg $1
DATA_SOURCE 2 boot_params $2
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 2 boot_params 0
DATA_SOURCE 0 handle $0
DATA_SOURCE 1 sys_table_arg $1
NOCHECK_CALL