--- /dev/null
+/** @file\r
+ IA32 specific code to enter DxeCore\r
+\r
+Copyright (c) 2006 - 2007, Intel Corporation \r
+All rights reserved. This program and the accompanying materials \r
+are licensed and made available under the terms and conditions of the BSD License \r
+which accompanies this distribution. The full text of the license may be found at \r
+http://opensource.org/licenses/bsd-license.php \r
+ \r
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
+\r
+**/\r
+\r
+#include "DxeIpl.h"\r
+\r
+VOID\r
+EnterDxeMain (\r
+ IN VOID *StackTop,\r
+ IN VOID *DxeCoreEntryPoint,\r
+ IN VOID *Hob,\r
+ IN VOID *PageTable\r
+ )\r
+{\r
+ SwitchStack (\r
+ (SWITCH_STACK_ENTRY_POINT)(UINTN)DxeCoreEntryPoint,\r
+ Hob,\r
+ NULL,\r
+ StackTop\r
+ );\r
+}\r