/* linux/arch/arm/mach-s3c2410/bast.h
extern void bast_init_irq(void);