Index: kernel/genarch/include/drivers/am335x/timer_regs.h
===================================================================
--- kernel/genarch/include/drivers/am335x/timer_regs.h	(revision ff8f93be08ee5ecfa1fa996b08516d1fd0a6388d)
+++ kernel/genarch/include/drivers/am335x/timer_regs.h	(revision 4a09b86b3f42e6fe183e8635c5e70bab027ea2a2)
@@ -99,5 +99,5 @@
 	ioport32_t irqwakeen;
 #define AM335x_TIMER_IRQWAKEEN_MAT_FLAG     (1 << 0)
-#define AM335x_TIMER_IRQWAKEEN_PVF_FLAG     (1 << 1)
+#define AM335x_TIMER_IRQWAKEEN_OVF_FLAG     (1 << 1)
 #define AM335x_TIMER_IRQWAKEEN_TCAR_FLAG    (1 << 2)