44 if ( ( efirc =
efi_init ( image_handle, systab ) ) != 0 )
static void efi_init_stack_guard(EFI_HANDLE handle)
Initialise stack cookie.
FILE_LICENCE(GPL2_OR_LATER)
void efi_raise_tpl(struct efi_saved_tpl *tpl)
Raise task priority level to internal level.
static struct root_driver efi_root_driver
EFI root device driver.
struct device dev
Device chain.
void initialise(void)
Initialise iPXE.
#define __unused
Declare a variable or data structure as unused.
EFI_STATUS EFIAPI _efidrv_start(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *systab)
EFI entry point.
void efi_driver_disconnect_all(void)
Disconnect EFI driver from all possible devices.
static void efi_remove(struct root_device *rootdev __unused)
Remove EFI root bus.
static int efi_probe(struct root_device *rootdev __unused)
Probe EFI root bus.
int(* probe)(struct root_device *rootdev)
Add root device.
An EFI saved task priority level.
struct root_device efi_root_device __root_device
EFI root device.
RETURN_STATUS EFI_STATUS
Function return status for EFI API.
EFI_STATUS efi_init(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *systab)
Initialise EFI environment.
void efi_restore_tpl(struct efi_saved_tpl *tpl)
Restore task priority level.
void startup(void)
Start up iPXE.