/* Enables or disables the Air Quality / Gas Sensor GPIO interrupt.  */
uint32_t BOARD_gasSensorEnableIRQ(bool enable)
/* Enables or disables the Air Quality / Gas Sensor GPIO interrupt.  */
uint32_t BOARD_gasSensorEnableIRQ(bool enable)
{
   uint32_t status;
   status = BOARD_picRegBitsSet( BOARD_PIC_REG_INT_ENABLE, enable, BOARD_PIC_REG_INT_ENABLE_CCS811 );
   return status;
}