3 Copyright (c) 2006, Intel Corporation
4 All rights reserved. This program and the accompanying materials
5 are licensed and made available under the terms and conditions of the BSD License
6 which accompanies this distribution. The full text of the license may be found at
7 http://opensource.org/licenses/bsd-license.php
9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
18 Ia32-specifc functionality for DxeLoad.
23 // Include common header file for this module.
25 #include "CommonHeader.h"
31 IN EFI_PHYSICAL_ADDRESS DxeCoreEntryPoint
,
32 IN EFI_PEI_HOB_POINTERS HobList
,
33 IN EFI_PEI_PPI_DESCRIPTOR
*EndOfPeiSignal
41 // Allocate 128KB for the Stack
43 BaseOfStack
= AllocatePages (EFI_SIZE_TO_PAGES (STACK_SIZE
));
44 ASSERT (BaseOfStack
!= NULL
);
47 // Compute the top of the stack we were allocated. Pre-allocate a UINTN
50 TopOfStack
= (VOID
*) ((UINTN
) BaseOfStack
+ EFI_SIZE_TO_PAGES (STACK_SIZE
) * EFI_PAGE_SIZE
- CPU_STACK_ALIGNMENT
);
51 TopOfStack
= ALIGN_POINTER (TopOfStack
, CPU_STACK_ALIGNMENT
);
54 // End of PEI phase singal
56 Status
= PeiServicesInstallPpi (EndOfPeiSignal
);
57 ASSERT_EFI_ERROR (Status
);
60 (SWITCH_STACK_ENTRY_POINT
)(UINTN
)DxeCoreEntryPoint
,