OvmfPkg/Library/LoadLinuxLib/LoadLinuxLib.h

   1 /** @file
   2   Boot UEFI Linux.
   3
   4   Copyright (c) 2008 - 2013, Intel Corporation. All rights reserved.<BR>
   5
   6   This program and the accompanying materials
   7   are licensed and made available under the terms and conditions of the BSD License
   8   which accompanies this distribution.  The full text of the license may be found at
   9   http://opensource.org/licenses/bsd-license.php
  10
  11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13
  14 **/
  15
  16 #ifndef _LOAD_LINUX_LIB_INCLUDED_
  17 #define _LOAD_LINUX_LIB_INCLUDED_
  18
  19 #include <Uefi.h>
  20 #include <Library/LoadLinuxLib.h>
  21 #include <Library/BaseLib.h>
  22 #include <Library/BaseMemoryLib.h>
  23 #include <Library/DebugLib.h>
  24 #include <Library/MemoryAllocationLib.h>
  25 #include <Library/UefiBootServicesTableLib.h>
  26 #include <Library/UefiRuntimeServicesTableLib.h>
  27
  28 #include <IndustryStandard/LinuxBzimage.h>
  29
  30 #include <Protocol/GraphicsOutput.h>
  31
  32 VOID
  33 EFIAPI
  34 JumpToKernel (
  35   VOID *KernelStart,
  36   VOID *KernelBootParams
  37   );
  38
  39 VOID
  40 EFIAPI
  41 JumpToUefiKernel (
  42   EFI_HANDLE ImageHandle,
  43   EFI_SYSTEM_TABLE *SystemTable,
  44   VOID *KernelBootParams,
  45   VOID *KernelStart
  46   );
  47
  48 VOID
  49 InitLinuxDescriptorTables (
  50   VOID
  51   );
  52
  53 VOID
  54 SetLinuxDescriptorTables (
  55   VOID
  56   );
  57
  58 #endif
  59