Symbol: efi_main
sys/arch/i386/stand/efiboot/efiboot.c
52
EFI_STATUS EFIAPI efi_main(EFI_HANDLE, EFI_SYSTEM_TABLE *);
sys/arch/ia64/include/efilib.h
37
void efi_main(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *system_table);
sys/stand/efiboot/efiboot.c
62
EFI_STATUS EFIAPI efi_main(EFI_HANDLE, EFI_SYSTEM_TABLE *);