wdt update

Signed-off-by: Marc Zyngier <maz@kernel.org>

vdmtool.c

diff --git a/vdmtool.c b/vdmtool.c
index 556116d..bf778fa 100644
--- a/vdmtool.c
+++ b/vdmtool.c
@@ -731,8 +731,11 @@
 
 static int64_t tick_cb(alarm_id_t id, void *arg)
 {
-	watchdog_update();
-
+	/*
+	 * Only re-arm the timer. The interrupt should cause the main
+	 * loop to pet the watchdog. If we're stuck anywhere else,
+	 * no petting will happen and the watchdog will bite.
+	 */
 	return TICK_PERIOD_US;
 }
 
@@ -751,6 +754,8 @@
 	while (1) {
 		bool busy = false;
 
+		watchdog_update();
+
 		for_each_cxt(cxt) {
 			gpio_put(PIN(cxt, LED_G), HIGH);
 			busy |= m1_pd_bmc_run_one(cxt);