-/**
- * --------- Hal_debugOff ---------
- *
- * Turns the selected DEBUG line off.
- *
- * The two DEBUG lines are output GPIOs that are available to the user for
- * debug purposes.
- *
- * Inputs:
- * line - the index value of the debug line to turn off
- *
- * Returns:
- * None
- *
- * Side Effects:
- * DEBUG line off.
- *
- **/
-extern void Hal_debugOff(uint8_t line);
-/**
- * --------- Hal_debugOn ---------
- *
- * Turns the selected DEBUG line on.
- *
- * The two DEBUG lines are output GPIOs that are available to the user for
- * debug purposes.
- *
- * Inputs:
- * line - the index value of the debug line to turn on
- *
- * Returns:
- * None
- *
- * Side Effects:
- * DEBUG line on.
- *
- **/
-extern void Hal_debugOn(uint8_t line);
-/**
- * --------- Hal_debugPulse ---------
- *
- * Emits a pulse on the selected DEBUG line.
- *
- * The two DEBUG lines are output GPIOs that are available to the user for
- * debug purposes.
- *
- * Inputs:
- * line - the index value of the debug line to emit a pulse
- *
- * Returns:
- * None
- *
- * Side Effects:
- * DEBUG line turns on then off.
- *
- **/
-extern void Hal_debugPulse(uint8_t line);