Index: kernel/genarch/include/drivers/amdm37x_gpt/amdm37x_gpt.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_gpt/amdm37x_gpt.h	(revision b56481c2418e00a24a67d87af75bece43763f37e)
+++ kernel/genarch/include/drivers/amdm37x_gpt/amdm37x_gpt.h	(revision 95c91584ebedf4e6721f0bbeb409820f3d069fce)
@@ -209,5 +209,4 @@
 	timer->regs = (void*) km_map(ioregs, iosize, PAGE_NOT_CACHEABLE);
 
-
 	/* Set autoreload */
 	timer->regs->tclr = AMDM37x_GPT_TCLR_AR_FLAG;
@@ -218,4 +217,5 @@
 	    (ioregs == AMDM37x_GPT10_BASE_ADDRESS));
 	timer->regs->tldr = 0xffffffff - (32768 / hz) + 1;
+	timer->regs->tccr = 0xffffffff - (32768 / hz) + 1;
 	if (timer->special_available) {
 		/* Set values for according to formula (manual p. 2733) */
@@ -241,4 +241,12 @@
 }
 
+static inline void amdm37x_gpt_irq_ack(amdm37x_gpt_t* timer)
+{
+	ASSERT(timer);
+	ASSERT(timer->regs);
+	/* Clear all pending interrupts */
+	timer->regs->tisr = timer->regs->tisr;
+}
+
 #endif