1 /** @file ArmPlatformSysConfigLib.h
3 Copyright (c) 2011-2012, ARM Ltd. All rights reserved.<BR>
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
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.
15 #ifndef __ARM_PLATFORM_SYS_CONFIG_H__
16 #define __ARM_PLATFORM_SYS_CONFIG_H__
20 /* This header file makes it easier to access the System Configuration Registers
21 * in the ARM Versatile Express motherboard.
27 typedef UINT32 SYS_CONFIG_FUNCTION
;
33 ArmPlatformSysConfigInitialize (
38 ArmPlatformSysConfigGet (
39 IN SYS_CONFIG_FUNCTION Function
,
44 ArmPlatformSysConfigGetValues (
45 IN SYS_CONFIG_FUNCTION Function
,
51 ArmPlatformSysConfigSet (
52 IN SYS_CONFIG_FUNCTION Function
,
57 ArmPlatformSysConfigSetDevice (
58 IN SYS_CONFIG_FUNCTION Function
,
63 #endif /* __SYS_CFG_REGISTERS_H__ */