pass handler id to userspace
[pulsecounter.git] / Hal / Hal.h
index 9af8ec811cc1745daca6aedcb13f449177cc4935..aa5f7c2db816c31b6addefbe00e6093449b61527 100644 (file)
--- a/Hal/Hal.h
+++ b/Hal/Hal.h
@@ -47,7 +47,7 @@ typedef void (*Hal_Handler)(uint8_t id);
  *   BUTTON interrupt enabled
  *
  **/
-extern void Hal_buttonEnable(void (*handler)(void));
+extern void Hal_buttonEnable(Hal_Handler handler);
 /**
  * --------- Hal_connected ---------
  *