1 /** @file
2 *
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.
6 *
7 *
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
12 *
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.
15 *
16 **/
17
18 #include <Library/IoLib.h>
19 #include <Library/ArmPlatformLib.h>
20 #include <Library/DebugLib.h>
21 #include <ArmPlatform.h>
22 #include <Pi/PiBootMode.h>
23
24 /**
25 Return the current Boot Mode
26
27 This function returns the boot reason on the platform
28
29 @return Return the current Boot Mode of the platform
30
31 **/
32 EFI_BOOT_MODE
ArmPlatformGetBootMode(VOID)33 ArmPlatformGetBootMode (
34 VOID
35 )
36 {
37 return BOOT_WITH_FULL_CONFIGURATION;
38 }
39
40 /**
41 This function is called by PrePeiCore, in the SEC phase.
42 **/
43 RETURN_STATUS
ArmPlatformInitialize(IN UINTN MpId)44 ArmPlatformInitialize (
45 IN UINTN MpId
46 )
47 {
48 //
49 // We are relying on ArmPlatformInitializeSystemMemory () being called from
50 // InitializeMemory (), which only occurs if the following feature is disabled
51 //
52 ASSERT (!FeaturePcdGet (PcdSystemMemoryInitializeInSec));
53 return RETURN_SUCCESS;
54 }
55
56 VOID
ArmPlatformInitializeSystemMemory(VOID)57 ArmPlatformInitializeSystemMemory (
58 VOID
59 )
60 {
61 }
62
63 VOID
ArmPlatformGetPlatformPpiList(OUT UINTN * PpiListSize,OUT EFI_PEI_PPI_DESCRIPTOR ** PpiList)64 ArmPlatformGetPlatformPpiList (
65 OUT UINTN *PpiListSize,
66 OUT EFI_PEI_PPI_DESCRIPTOR **PpiList
67 )
68 {
69 *PpiListSize = 0;
70 *PpiList = NULL;
71 }
72