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 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 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 57 ArmPlatformInitializeSystemMemory ( 58 VOID 59 ) 60 { 61 } 62 63 VOID 64 ArmPlatformGetPlatformPpiList ( 65 OUT UINTN *PpiListSize, 66 OUT EFI_PEI_PPI_DESCRIPTOR **PpiList 67 ) 68 { 69 *PpiListSize = 0; 70 *PpiList = NULL; 71 } 72
