3 * Copyright (c) 2011, ARM Limited. All rights reserved.
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.
17 #include <Library/ArmGicLib.h>
18 #include <Library/ArmMPCoreMailBoxLib.h>
19 #include <Chipset/ArmV7.h>
23 IN UINTN UefiMemoryBase
,
24 IN UINT64 StartTimeStamp
27 // Enable the GIC Distributor
28 ArmGicEnableDistributor(PcdGet32(PcdGicDistributorBase
));
30 // In some cases, the secondary cores are waiting for an SGI from the next stage boot loader toresume their initialization
31 if (!FixedPcdGet32(PcdSendSgiToBringUpSecondaryCores
)) {
32 // Sending SGI to all the Secondary CPU interfaces
33 ArmGicSendSgiTo (PcdGet32(PcdGicDistributorBase
), ARM_GIC_ICDSGIR_FILTER_EVERYONEELSE
, 0x0E);
36 PrePiMain (UefiMemoryBase
, StartTimeStamp
);
38 // We must never return
47 // Function pointer to Secondary Core entry point
48 VOID (*secondary_start
)(VOID
);
49 UINTN secondary_entry_addr
=0;
51 // Clear Secondary cores MailBox
52 ArmClearMPCoreMailbox();
54 while (secondary_entry_addr
= ArmGetMPCoreMailbox(), secondary_entry_addr
== 0) {
56 // Acknowledge the interrupt and send End of Interrupt signal.
57 ArmGicAcknowledgeSgiFrom (PcdGet32(PcdGicInterruptInterfaceBase
), PRIMARY_CORE_ID
);
60 secondary_start
= (VOID (*)())secondary_entry_addr
;
62 // Jump to secondary core entry point.
65 // The secondaries shouldn't reach here