DuetPkg/DxeIpl/X64/EnterDxeCore.c

   1 /** @file
   2   x64 specific code to enter DxeCore
   3
   4 Copyright (c) 2006 - 2007, Intel Corporation. All rights reserved.<BR>
   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 #include "DxeIpl.h"
  16
  17 VOID
  18 EnterDxeMain (
  19   IN VOID *StackTop,
  20   IN VOID *DxeCoreEntryPoint,
  21   IN VOID *Hob,
  22   IN VOID *PageTable
  23   )
  24 {
  25   AsmWriteCr3 ((UINTN) PageTable);
  26   SwitchStack (
  27     (SWITCH_STACK_ENTRY_POINT)(UINTN)DxeCoreEntryPoint,
  28     Hob,
  29     NULL,
  30     StackTop
  31     );
  32 }