48 #include PLATFORM_HEADER
51 #include "hal/error.h"
56 void halIrqAIsr(
void);
76 GPIO_INTCFGA = GPIO_INTCFGA_RESET;
77 GPIO_INTCFGA|=GPIO_INTFILT;
78 GPIO_INTCFGA|=(0x03 <<GPIO_INTMOD_BIT);
82 INT_CFGSET = INT_IRQA;
96 INT_GPIOFLAG = INT_IRQAFLAG;
98 if ((GPIO_PBIN & (1)) == 0){
114 return (GPIO_PBIN & (1));