12 void eintsISR_EINT0 (void) __attribute__ ((naked));
13 void eintsISR_EINT2 (void) __attribute__ ((naked));
18 void eintsISR_EINT0 (void)
20 portENTER_SWITCHING_ISR ();
22 SCB_EXTINT |= SCB_EXTINT_EINT0;
24 GPIO0_IOSET = GPIO_IO_P11;
26 VIC_VectAddr = (unsigned portLONG) 0;
28 portEXIT_SWITCHING_ISR (0);
31 void eintsISR_EINT2 (void)
33 portENTER_SWITCHING_ISR ();
35 SCB_EXTINT |= SCB_EXTINT_EINT1;
37 GPIO0_IOCLR = GPIO_IO_P11;
39 VIC_VectAddr = (unsigned portLONG) 0;
41 portEXIT_SWITCHING_ISR (0);