1 /** @file ArmPlatformSysConfigLib.h
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
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.
14 #ifndef __ARM_PLATFORM_SYS_CONFIG_H__
15 #define __ARM_PLATFORM_SYS_CONFIG_H__
19 /* This header file makes it easier to access the System Configuration Registers
20 * in the ARM Versatile Express motherboard.
26 typedef UINT32 SYS_CONFIG_FUNCTION
;
32 ArmPlatformSysConfigInitialize (
37 ArmPlatformSysConfigGet (
38 IN SYS_CONFIG_FUNCTION Function
,
43 ArmPlatformSysConfigSet (
44 IN SYS_CONFIG_FUNCTION Function
,
49 ArmPlatformSysConfigSetDevice (
50 IN SYS_CONFIG_FUNCTION Function
,
55 #endif /* __SYS_CFG_REGISTERS_H__ */