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 46db5c519650c0cb5a19bff99be9cac917b0f558)
@@ -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 */
