| /* SPDX-License-Identifier: BSD-2-Clause */ | |
| /* | |
| * Copyright (c) 2019, Linaro Limited | |
| */ | |
| #ifndef ARM_USER_SYSREG_H | |
| #define ARM_USER_SYSREG_H | |
| #include <util.h> | |
| #ifdef ARM32 | |
| #include <arm32_user_sysreg.h> | |
| #endif | |
| #ifdef ARM64 | |
| #include <arm64_user_sysreg.h> | |
| #endif | |
| #endif /*ARM_USER_SYSREG_H*/ |