/* Reads the interrupt status flags from the interrupt controller.  */
uint32_t BOARD_picIntGet(uint8_t *flags)
/* Reads the interrupt status flags from the interrupt controller.  */
uint32_t BOARD_picIntGet(uint8_t *flags)
{
   uint32_t status;
   status = BOARD_picReadReg( BOARD_PIC_REG_INT_FLAG, flags );
   return status;
}