Index: kernel/genarch/include/drivers/am335x/ctrl_module.h
===================================================================
--- kernel/genarch/include/drivers/am335x/ctrl_module.h	(revision 2e5544302c20e9f67992b1890d361a5388c55c64)
+++ kernel/genarch/include/drivers/am335x/ctrl_module.h	(revision f942226ea50c77249ed4d60ca7cfd1c318bfe104)
@@ -49,5 +49,5 @@
 am335x_ctrl_module_clock_freq_get(am335x_ctrl_module_t *base, unsigned *freq)
 {
-	unsigned const control_status = *AM335x_CTRL_MODULE_REG_ADDR(base,
+	unsigned const control_status = AM335x_CTRL_MODULE_REG_VALUE(base,
 	    CONTROL_STATUS);
 	unsigned const sysboot1 = (control_status >> 22) & 0x03;
Index: kernel/genarch/include/drivers/am335x/ctrl_module_regs.h
===================================================================
--- kernel/genarch/include/drivers/am335x/ctrl_module_regs.h	(revision 2e5544302c20e9f67992b1890d361a5388c55c64)
+++ kernel/genarch/include/drivers/am335x/ctrl_module_regs.h	(revision f942226ea50c77249ed4d60ca7cfd1c318bfe104)
@@ -39,7 +39,7 @@
 #include <typedefs.h>
 
-#define AM335x_CTRL_MODULE_REG_ADDR(base, name) \
-	    ((ioport32_t *)(AM335x_CTRL_MODULE_##name##_OFFSET + \
-	    ((ioport8_t *) base)))
+#define AM335x_CTRL_MODULE_REG_VALUE(base, name) \
+	    (*((ioport32_t *)(AM335x_CTRL_MODULE_##name##_OFFSET + \
+	    ((ioport8_t *) base))))
 
 #define AM335x_CTRL_MODULE_CONTROL_REVISION_OFFSET          0x00