3 Copyright (c) 2006 - 2007, 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 Ipf-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
42 // Allocate 128KB for the Stack
44 BaseOfStack
= AllocatePages (EFI_SIZE_TO_PAGES (STACK_SIZE
));
45 ASSERT (BaseOfStack
!= NULL
);
48 // Allocate 16KB for the BspStore
50 BspStore
= AllocatePages (EFI_SIZE_TO_PAGES (BSP_STORE_SIZE
));
51 ASSERT (BspStore
!= NULL
);
55 BuildBspStoreHob ((EFI_PHYSICAL_ADDRESS
) (UINTN
) BspStore
, BSP_STORE_SIZE
, EfiBootServicesData
);
58 // Compute the top of the stack we were allocated. Pre-allocate a UINTN
61 TopOfStack
= (VOID
*) ((UINTN
) BaseOfStack
+ EFI_SIZE_TO_PAGES (STACK_SIZE
) * EFI_PAGE_SIZE
- CPU_STACK_ALIGNMENT
);
62 TopOfStack
= ALIGN_POINTER (TopOfStack
, CPU_STACK_ALIGNMENT
);
65 // End of PEI phase singal
67 Status
= PeiServicesInstallPpi (EndOfPeiSignal
);
68 ASSERT_EFI_ERROR (Status
);
71 (SWITCH_STACK_ENTRY_POINT
)(UINTN
)DxeCoreEntryPoint
,