icE1usb fw/gpsdo: Add debug prints for coarse/fine tune entry

Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
Change-Id: Ife69f9ce4c6f3eb6d40b05ce8f862ff68180357f
diff --git a/firmware/ice40-riscv/icE1usb/gpsdo.c b/firmware/ice40-riscv/icE1usb/gpsdo.c
index 7e3682f..c94a5ed 100644
--- a/firmware/ice40-riscv/icE1usb/gpsdo.c
+++ b/firmware/ice40-riscv/icE1usb/gpsdo.c
@@ -145,6 +145,11 @@
 static void
 _gpsdo_coarse_start(void)
 {
+	/* Debug */
+#ifdef GPSDO_DEBUG
+	printf("[+] GPSDO Coarse Start: tune=%d:%d\n", g_gpsdo.tune.coarse, g_gpsdo.tune.fine);
+#endif
+
 	/* Set the state */
 	g_gpsdo.state = STATE_TUNE_COARSE;
 
@@ -165,6 +170,10 @@
 static void
 _gpsdo_fine_start(void)
 {
+#ifdef GPSDO_DEBUG
+	printf("[+] GPSDO Fine Start\n");
+#endif
+
 	/* Set the state */
 	g_gpsdo.state = STATE_TUNE_FINE;