Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h
===================================================================
--- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision f3386d746b4f2e3d741eb9009428dbd331e2b6b1)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision f9f758e8783cc8b9d957992e78eafdbed6d5584f)
@@ -218,5 +218,5 @@
 	timer->regs->tiocp_cfg |= AMDM37x_GPT_TIOCP_CFG_SOFTRESET_FLAG;
 
-	while (timer->regs->tistat & AMDM37x_GPT_TISTAT_RESET_DONE_FLAG);
+	while (!(timer->regs->tistat & AMDM37x_GPT_TISTAT_RESET_DONE_FLAG));
 
 	/* Set autoreload */