/** @file\r
Boot UEFI Linux.\r
\r
- Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>\r
+ Copyright (c) 2008 - 2011, 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