#include <asm/mach/irq.h>
#include <mach/map.h>
+#include <mach/irqs.h>
#include "bast.h"
#include <asm/mach/irq.h>
#include <mach/regs-irq.h>
+#include <mach/irqs.h>
#include "bast.h"
#define __ARCH_ARM_MACH_S3C24XX_COMMON_H __FILE__
#include <linux/reboot.h>
+#include <mach/irqs.h>
struct s3c2410_uartcfg;
#include <asm/exception.h>
#include <asm/mach/irq.h>
+#include <mach/irqs.h>
#include <mach/regs-irq.h>
#include <mach/regs-gpio.h>
#include <asm/cacheflush.h>
#include <asm/irq.h>
+#include <mach/irqs.h>
#include <mach/regs-gpio.h>
#include <plat/cpu.h>
#include <mach/hardware.h>
#include <mach/gpio-samsung.h>
+#include <mach/irqs.h>
#include <asm/irq.h>
#include <asm/system_misc.h>
#include <asm/mach/irq.h>
#include <mach/gpio-samsung.h>
+#include <mach/irqs.h>
#include <asm/irq.h>
#include <linux/platform_data/usb-ohci-s3c2410.h>