OvmfPkg/Library/LoadLinuxLib/Ia32/JumpToKernel.S

   1 #------------------------------------------------------------------------------
   2 #
   3 # Copyright (c) 2006 - 2011, Intel Corporation. All rights reserved.<BR>
   4 #
   5 # This program and the accompanying materials
   6 # are licensed and made available under the terms and conditions of the BSD License
   7 # which accompanies this distribution.  The full text of the license may be found at
   8 # http://opensource.org/licenses/bsd-license.php.
   9 #
  10 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12 #
  13 #------------------------------------------------------------------------------
  14
  15 ASM_GLOBAL ASM_PFX(JumpToKernel)
  16
  17 #------------------------------------------------------------------------------
  18 # VOID
  19 # EFIAPI
  20 # JumpToKernel (
  21 #   VOID *KernelStart,
  22 #   VOID *KernelBootParams
  23 #   );
  24 #------------------------------------------------------------------------------
  25 ASM_PFX(JumpToKernel):
  26     movl    0x8(%esp), %esi
  27     calll   0x4(%esp)
  28     ret
  29