/** @file\r
Boot UEFI Linux.\r
\r
- Copyright (c) 2008 - 2011, Intel Corporation. All rights reserved.<BR>\r
+ Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>\r
\r
This program and the accompanying materials\r
are licensed and made available under the terms and conditions of the BSD License\r
VOID *KernelBootParams\r
);\r
\r
+VOID\r
+EFIAPI\r
+JumpToUefiKernel (\r
+ EFI_HANDLE ImageHandle,\r
+ EFI_SYSTEM_TABLE *SystemTable,\r
+ VOID *KernelBootParams,\r
+ VOID *KernelStart\r
+ );\r
+\r
VOID\r
InitLinuxDescriptorTables (\r
VOID\r