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 RETURN_STATUS
33 ArmPlatformSysConfigInitialize (
34   VOID
35   );
36 
37 RETURN_STATUS
38 ArmPlatformSysConfigGet (
39   IN  SYS_CONFIG_FUNCTION   Function,
40   OUT UINT32*               Value
41   );
42 
43 RETURN_STATUS
44 ArmPlatformSysConfigGetValues (
45   IN  SYS_CONFIG_FUNCTION   Function,
46   IN  UINTN                 Size,
47   OUT UINT32*               Values
48   );
49 
50 RETURN_STATUS
51 ArmPlatformSysConfigSet (
52   IN  SYS_CONFIG_FUNCTION   Function,
53   IN  UINT32                Value
54   );
55 
56 RETURN_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__ */
64