+/**
+ * --------- Hal_gpioCount ---------
+ *
+ * Returns the number of interrups encounted on gpio `id`
+ *
+ * Inputs:
+ * id if the gpio (0-2 for gpio 3-5)
+ *
+ * Returns:
+ * Counted interrupts
+ *
+ * Side Effects:
+ * Resets the accumulator (counting restarts from zero).
+ *
+ **/
+extern uint32_t Hal_gpioCount(uint8_t id);
+