**/\r
VOID\r
HandOffToDxeCore (\r
- IN EFI_PHYSICAL_ADDRESS DxeCoreEntryPoint,\r
- IN EFI_PEI_HOB_POINTERS HobList\r
+ IN EFI_PHYSICAL_ADDRESS DxeCoreEntryPoint,\r
+ IN EFI_PEI_HOB_POINTERS HobList\r
)\r
{\r
- VOID *BaseOfStack;\r
- VOID *TopOfStack;\r
- EFI_STATUS Status;\r
+ VOID *BaseOfStack;\r
+ VOID *TopOfStack;\r
+ EFI_STATUS Status;\r
+\r
//\r
//\r
// Allocate 128KB for the Stack\r
//\r
BaseOfStack = AllocatePages (EFI_SIZE_TO_PAGES (STACK_SIZE));\r
if (BaseOfStack == NULL) {\r
- DEBUG((DEBUG_ERROR, "%a: Can't allocate memory for stack.", __FUNCTION__));\r
- ASSERT(FALSE);\r
+ DEBUG ((DEBUG_ERROR, "%a: Can't allocate memory for stack.", __FUNCTION__));\r
+ ASSERT (FALSE);\r
}\r
\r
//\r
// Compute the top of the stack we were allocated. Pre-allocate a UINTN\r
// for safety.\r
//\r
- TopOfStack = (VOID *)((UINTN) BaseOfStack + EFI_SIZE_TO_PAGES (STACK_SIZE) * EFI_PAGE_SIZE - CPU_STACK_ALIGNMENT);\r
+ TopOfStack = (VOID *)((UINTN)BaseOfStack + EFI_SIZE_TO_PAGES (STACK_SIZE) * EFI_PAGE_SIZE - CPU_STACK_ALIGNMENT);\r
TopOfStack = ALIGN_POINTER (TopOfStack, CPU_STACK_ALIGNMENT);\r
\r
//\r
//\r
Status = PeiServicesInstallPpi (&gEndOfPeiSignalPpi);\r
if (EFI_ERROR (Status)) {\r
- DEBUG((DEBUG_ERROR, "%a: Fail to signal End of PEI event.", __FUNCTION__));\r
- ASSERT(FALSE);\r
+ DEBUG ((DEBUG_ERROR, "%a: Fail to signal End of PEI event.", __FUNCTION__));\r
+ ASSERT (FALSE);\r
}\r
+\r
//\r
// Update the contents of BSP stack HOB to reflect the real stack info passed to DxeCore.\r
//\r
- UpdateStackHob ((EFI_PHYSICAL_ADDRESS)(UINTN) BaseOfStack, STACK_SIZE);\r
+ UpdateStackHob ((EFI_PHYSICAL_ADDRESS)(UINTN)BaseOfStack, STACK_SIZE);\r
\r
DEBUG ((DEBUG_INFO, "DXE Core new stack at %x, stack pointer at %x\n", BaseOfStack, TopOfStack));\r
\r
TopOfStack\r
);\r
}\r
-\r