android_kernel_samsung_univ.../include/linux/irqchip
..
bcm2835.h