Index: kernel/arch/arm32/src/mach/beaglebone/beaglebone.c
===================================================================
--- kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 4c754f62d3b72f6ad32d4e299d025db3a4c3f3f8)
+++ kernel/arch/arm32/src/mach/beaglebone/beaglebone.c	(revision 0f6688609ee43d825f0201d425dd581e9b0b80a0)
@@ -117,4 +117,6 @@
 static void bbone_timer_irq_start(void)
 {
+	unsigned sysclk_freq;
+
 	/* Initialize the IRQ */
 	static irq_t timer_irq;
@@ -132,6 +134,11 @@
 	   CLK_SRC_M_OSC);
 	/* Initialize the DMTIMER2 */
-	am335x_timer_init(&bbone.timer, DMTIMER2, HZ,
-	    am335x_ctrl_module_clock_freq_get(bbone.ctrl_module));
+	if (am335x_ctrl_module_clock_freq_get(bbone.ctrl_module,
+	    &sysclk_freq) != EOK) {
+		printf("Cannot get the system clock frequency!\n");
+		return;
+	}
+
+	am335x_timer_init(&bbone.timer, DMTIMER2, HZ, sysclk_freq);
 	/* Enable the interrupt */
 	am335x_irc_enable(bbone.irc_addr, AM335x_DMTIMER2_IRQ);