/* SPDX-License-Identifier: GPL-2.0 */

#ifndef __S390_ARM64_SYSREG_H__
#define __S390_ARM64_SYSREG_H__

#include <linux/bits.h>
#include <linux/stringify.h>
#include <linux/kasan-tags.h>
#include <linux/kconfig.h>

#include <arm64/sysreg-gen.h>

#endif /* __S390_ARM64_SYSREG_H__ */