ArmPlatformPkg/Include/Library/ArmPlatformSysConfigLib.h

   1 /** @file  ArmPlatformSysConfigLib.h
   2
   3   Copyright (c) 2011-2012, ARM Ltd. All rights reserved.<BR>
   4
   5   This program and the accompanying materials
   6   are licensed and made available under the terms and conditions of the BSD License
   7   which accompanies this distribution.  The full text of the license may be found at
   8   http://opensource.org/licenses/bsd-license.php
   9
  10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12
  13 **/
  14
  15 #ifndef __ARM_PLATFORM_SYS_CONFIG_H__
  16 #define __ARM_PLATFORM_SYS_CONFIG_H__
  17
  18 #include <Base.h>
  19
  20 /* This header file makes it easier to access the System Configuration Registers
  21  * in the ARM Versatile Express motherboard.
  22  */
  23
  24 //
  25 // Typedef
  26 //
  27 typedef UINT32  SYS_CONFIG_FUNCTION;
  28
  29 //
  30 // Functions
  31 //
  32 EFI_STATUS
  33 ArmPlatformSysConfigInitialize (
  34   VOID
  35   );
  36
  37 EFI_STATUS
  38 ArmPlatformSysConfigGet (
  39   IN  SYS_CONFIG_FUNCTION   Function,
  40   OUT UINT32*               Value
  41   );
  42
  43 EFI_STATUS
  44 ArmPlatformSysConfigGetValues (
  45   IN  SYS_CONFIG_FUNCTION   Function,
  46   IN  UINTN                 Size,
  47   OUT UINT32*               Values
  48   );
  49
  50 EFI_STATUS
  51 ArmPlatformSysConfigSet (
  52   IN  SYS_CONFIG_FUNCTION   Function,
  53   IN  UINT32                Value
  54   );
  55
  56 EFI_STATUS
  57 ArmPlatformSysConfigSetDevice (
  58   IN  SYS_CONFIG_FUNCTION   Function,
  59   IN  UINT32                Device,
  60   IN  UINT32                Value
  61   );
  62
  63 #endif /* __SYS_CFG_REGISTERS_H__ */