]>
git.proxmox.com Git - mirror_edk2.git/blob - DuetPkg/DxeIpl/X64/EnterDxeCore.c
2 x64 specific code to enter DxeCore
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
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.
20 IN VOID
*DxeCoreEntryPoint
,
25 AsmWriteCr3 ((UINTN
) PageTable
);
27 (SWITCH_STACK_ENTRY_POINT
)(UINTN
)DxeCoreEntryPoint
,