/* Clears the interrupt status flags in the interrupt controller.  */
uint32_t BOARD_picIntClear(uint8_t flags)
/* Clears the interrupt status flags in the interrupt controller.  */
uint32_t BOARD_picIntClear(uint8_t flags)
{
   uint32_t status;
   status = BOARD_picWriteReg( BOARD_PIC_REG_INT_CLEAR, flags );
   return status;
}