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