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
EnterDxeMain(IN VOID * StackTop,IN VOID * DxeCoreEntryPoint,IN VOID * Hob,IN VOID * PageTable)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 }
33