efiprefix.c

Go to the documentation of this file.
00001 /*
00002  * Copyright (C) 2009 Michael Brown <mbrown@fensystems.co.uk>.
00003  *
00004  * This program is free software; you can redistribute it and/or
00005  * modify it under the terms of the GNU General Public License as
00006  * published by the Free Software Foundation; either version 2 of the
00007  * License, or any later version.
00008  *
00009  * This program is distributed in the hope that it will be useful, but
00010  * WITHOUT ANY WARRANTY; without even the implied warranty of
00011  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00012  * General Public License for more details.
00013  *
00014  * You should have received a copy of the GNU General Public License
00015  * along with this program; if not, write to the Free Software
00016  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
00017  */
00018 
00019 FILE_LICENCE ( GPL2_OR_LATER );
00020 
00021 #include <stdlib.h>
00022 #include <gpxe/efi/efi.h>
00023 
00024 /**
00025  * EFI entry point
00026  *
00027  * @v image_handle      Image handle
00028  * @v systab            System table
00029  * @ret efirc           EFI return status code
00030  */
00031 EFI_STATUS EFIAPI _start ( EFI_HANDLE image_handle,
00032                            EFI_SYSTEM_TABLE *systab ) {
00033         EFI_STATUS efirc;
00034 
00035         /* Initialise EFI environment */
00036         if ( ( efirc = efi_init ( image_handle, systab ) ) != 0 )
00037                 return efirc;
00038 
00039         /* Call to main() */
00040         return RC_TO_EFIRC ( main () );
00041 }