ArmPlatformPkg/Include/Library/ArmPlatformSysConfigLib.h

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