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 <ArmPlatform.h>
22 #include <Pi/PiBootMode.h>
25 Return the current Boot Mode
27 This function returns the boot reason on the platform
29 @return Return the current Boot Mode of the platform
33 ArmPlatformGetBootMode (
37 return BOOT_WITH_FULL_CONFIGURATION
;
41 This function is called by PrePeiCore, in the SEC phase.
44 ArmPlatformInitialize (
49 // We are relying on ArmPlatformInitializeSystemMemory () being called from
50 // InitializeMemory (), which only occurs if the following feature is disabled
52 ASSERT (!FeaturePcdGet (PcdSystemMemoryInitializeInSec
));
53 return RETURN_SUCCESS
;
57 ArmPlatformInitializeSystemMemory (
64 ArmPlatformGetPlatformPpiList (
65 OUT UINTN
*PpiListSize
,
66 OUT EFI_PEI_PPI_DESCRIPTOR
**PpiList