/* 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*/ |