[efi] Fix *.efi linking
[people/pcmattman/gpxe.git] / src / arch / x86 / prefix / efiprefix.c
1 /*
2  * Copyright (C) 2009 Michael Brown <mbrown@fensystems.co.uk>.
3  *
4  * This program is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU General Public License as
6  * published by the Free Software Foundation; either version 2 of the
7  * License, or any later version.
8  *
9  * This program is distributed in the hope that it will be useful, but
10  * WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * General Public License for more details.
13  *
14  * You should have received a copy of the GNU General Public License
15  * along with this program; if not, write to the Free Software
16  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
17  */
18
19 FILE_LICENCE ( GPL2_OR_LATER );
20
21 #include <stdlib.h>
22 #include <gpxe/efi/efi.h>
23
24 /**
25  * EFI entry point
26  *
27  * @v image_handle      Image handle
28  * @v systab            System table
29  * @ret efirc           EFI return status code
30  */
31 EFI_STATUS EFIAPI _efi_start ( EFI_HANDLE image_handle,
32                                EFI_SYSTEM_TABLE *systab ) {
33         EFI_STATUS efirc;
34
35         /* Initialise EFI environment */
36         if ( ( efirc = efi_init ( image_handle, systab ) ) != 0 )
37                 return efirc;
38
39         /* Call to main() */
40         return RC_TO_EFIRC ( main () );
41 }