ArmVirtPkg/Library/ArmXenRelocatablePlatformLib/RelocatableVirt.c

   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 }