1 /* 2 * Copyright 2013, Fredrik Homlqvist, fredrik.holmqvist@gmail.com. 3 * All rights reserved. Distributed under the terms of the MIT License. 4 */ 5 #ifndef EFI_PLATFORM_H 6 #define EFI_PLATFORM_H 7 8 9 #include "efibind.h" 10 #include "efidef.h" 11 #include "efidevp.h" 12 #include "efiprot.h" 13 #include "eficon.h" 14 #include "efierr.h" 15 #include "efiapi.h" 16 17 18 extern const EFI_SYSTEM_TABLE *kSystemTable; 19 extern const EFI_BOOT_SERVICES *kBootServices; 20 extern const EFI_RUNTIME_SERVICES *kRuntimeServices; 21 extern EFI_HANDLE kImage; 22 23 #endif /* EFI_PLATFORM_H */ 24