1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifdef CONFIG_ARCH_S3C24XX
4 #include "regs-irq-s3c24xx.h"
5 #endif
6 
7 #ifdef CONFIG_ARCH_S3C64XX
8 #include "regs-irq-s3c64xx.h"
9 #endif
10