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