1 /** @file
2 IA32 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 SwitchStack (
26 (SWITCH_STACK_ENTRY_POINT)(UINTN)DxeCoreEntryPoint,
27 Hob,
28 NULL,
29 StackTop
30 );
31 }
32