/bsps/powerpc/t32mppc/irq/
../
irq.c