Index: uspace/drv/infrastructure/rootamdm37x/rootamdm37x.c
===================================================================
--- uspace/drv/infrastructure/rootamdm37x/rootamdm37x.c	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
+++ uspace/drv/infrastructure/rootamdm37x/rootamdm37x.c	(revision e8a15308520eb5e8ccf7d9faaff7cc85ce11be74)
@@ -155,6 +155,6 @@
 			printf("DPLL5 (and everything else) should be on: %"
 			    PRIx32" %"PRIx32".\n",
-			    pio_read_32((ioport32_t*)&device->cm.clocks->idlest_ckgen),
-			    pio_read_32((ioport32_t*)&device->cm.clocks->idlest2_ckgen));
+			    pio_read_32(&device->cm.clocks->idlest_ckgen),
+			    pio_read_32(&device->cm.clocks->idlest2_ckgen));
 		}
 	} else {
Index: uspace/drv/infrastructure/rootamdm37x/usbtll.h
===================================================================
--- uspace/drv/infrastructure/rootamdm37x/usbtll.h	(revision b5c2f5646cd6ac5e55c6a21110f700bb5fb3bae1)
+++ uspace/drv/infrastructure/rootamdm37x/usbtll.h	(revision e8a15308520eb5e8ccf7d9faaff7cc85ce11be74)
@@ -57,5 +57,5 @@
 #define TLL_SYSCONFIG_CLOCKACTIVITY_FLAG  (1 << 8)
 
-	ioport32_t sysstatus;
+	const ioport32_t sysstatus;
 #define TLL_SYSSTATUS_RESET_DONE_FLAG  (1 << 0)
 
