1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2019, Linaro Limited 4 */ 5 #ifndef ARM_USER_SYSREG_H 6 #define ARM_USER_SYSREG_H 7 8 #include <util.h> 9 10 #ifdef ARM32 11 #include <arm32_user_sysreg.h> 12 #endif 13 14 #ifdef ARM64 15 #include <arm64_user_sysreg.h> 16 #endif 17 18 #endif /*ARM_USER_SYSREG_H*/ 19