44 if ( ( efirc =
efi_init ( image_handle, systab ) ) != 0 )
89 .dev = { .name =
"EFI" },
RETURN_STATUS EFI_STATUS
Function return status for EFI API.
#define __root_device
Declare a root device.
void efi_driver_disconnect_all(void)
Disconnect EFI driver from all possible devices.
EFI_STATUS efi_init(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *systab)
Initialise EFI environment.
void efi_raise_tpl(struct efi_saved_tpl *tpl)
Raise task priority level to internal level.
void efi_restore_tpl(struct efi_saved_tpl *tpl)
Restore task priority level.
static struct root_driver efi_root_driver
EFI root device driver.
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.
EFI_STATUS EFIAPI _efidrv_start(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *systab)
EFI entry point.
#define __unused
Declare a variable or data structure as unused.
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
static void efi_init_stack_guard(EFI_HANDLE handle)
Initialise stack cookie.
void startup(void)
Start up iPXE.
void initialise(void)
Initialise iPXE.
An EFI saved task priority level.