/bsps/powerpc/t32mppc/include/bsp/

• ../
• irq.h