37 static inline void mac0_int_dispatch(void) { do_IRQ(MSP_INT_MAC0); }  in mac0_int_dispatch()
38 static inline void mac1_int_dispatch(void) { do_IRQ(MSP_INT_MAC1); }  in mac1_int_dispatch()
39 static inline void mac2_int_dispatch(void) { do_IRQ(MSP_INT_SAR); }  in mac2_int_dispatch()
40 static inline void usb_int_dispatch(void)  { do_IRQ(MSP_INT_USB);  }  in usb_int_dispatch()
41 static inline void sec_int_dispatch(void)  { do_IRQ(MSP_INT_SEC);  }  in sec_int_dispatch()
72 		do_IRQ(MSP_INT_MAC0);  in plat_irq_dispatch()
75 		do_IRQ(MSP_INT_MAC1);  in plat_irq_dispatch()
78 		do_IRQ(MSP_INT_USB);  in plat_irq_dispatch()
81 		do_IRQ(MSP_INT_SAR);  in plat_irq_dispatch()
84 		do_IRQ(MSP_INT_SEC);  in plat_irq_dispatch()
88 		do_IRQ(MSP_INT_TIMER);  in plat_irq_dispatch()
91 		do_IRQ(MSP_INT_MAC0);  in plat_irq_dispatch()
94 		do_IRQ(MSP_INT_MAC1);  in plat_irq_dispatch()
97 		do_IRQ(MSP_INT_VE);  in plat_irq_dispatch()
104 		do_IRQ(MSP_INT_SW0);  in plat_irq_dispatch()
107 		do_IRQ(MSP_INT_SW1);  in plat_irq_dispatch()