3 * Copyright (c) 2011-2013, ARM Limited. All rights reserved.
4 * Copyright (c) 2014, Linaro Limited. All rights reserved.
5 * Copyright (c) 2014, Red Hat, Inc.
8 * This program and the accompanying materials
9 * are licensed and made available under the terms and conditions of the BSD License
10 * which accompanies this distribution. The full text of the license may be found at
11 * http://opensource.org/licenses/bsd-license.php
13 * THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
18 #include <Library/IoLib.h>
19 #include <Library/ArmPlatformLib.h>
20 #include <Library/DebugLib.h>
21 #include <Pi/PiBootMode.h>
24 Return the current Boot Mode
26 This function returns the boot reason on the platform
28 @return Return the current Boot Mode of the platform
32 ArmPlatformGetBootMode (
36 return BOOT_WITH_FULL_CONFIGURATION
;
40 This function is called by PrePeiCore, in the SEC phase.
43 ArmPlatformInitialize (
48 // We are relying on ArmPlatformInitializeSystemMemory () being called from
49 // InitializeMemory (), which only occurs if the following feature is disabled
51 ASSERT (!FeaturePcdGet (PcdSystemMemoryInitializeInSec
));
52 return RETURN_SUCCESS
;
56 ArmPlatformInitializeSystemMemory (
63 ArmPlatformGetPlatformPpiList (
64 OUT UINTN
*PpiListSize
,
65 OUT EFI_PEI_PPI_DESCRIPTOR
**PpiList