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