00001 00041 #ifndef INTC_H_INCLUDED 00042 #define INTC_H_INCLUDED 00043 00044 #include <arch/intc.h> 00045 00142 00143 00144 #endif /* INTC_H_INCLUDED */
