diff --git a/src/mainboard/google/herobrine/mainboard.c b/src/mainboard/google/herobrine/mainboard.c
index 8a51b2b1ae..5a58f52065 100644
--- a/src/mainboard/google/herobrine/mainboard.c
+++ b/src/mainboard/google/herobrine/mainboard.c
@@ -38,9 +38,9 @@ static void setup_usb(void)
 static void configure_sdhci(void)
 {
 	/* Program eMMC drive strength to 16/10/10 mA */
-	write32((void *)SDC1_TLMM_CFG_ADDR, 0x9FE4);
+	write32p(SDC1_TLMM_CFG_ADDR, 0x9FE4);
 	/* Program SD card drive strength to 16/10/10 mA */
-	write32((void *)SDC2_TLMM_CFG_ADDR, 0x1FE4);
+	write32p(SDC2_TLMM_CFG_ADDR, 0x1FE4);
 }
 
 static void qi2s_configure_gpios(void)
diff --git a/src/mainboard/google/peach_pit/mainboard.c b/src/mainboard/google/peach_pit/mainboard.c
index 9cefb81bf8..3fc6dedc90 100644
--- a/src/mainboard/google/peach_pit/mainboard.c
+++ b/src/mainboard/google/peach_pit/mainboard.c
@@ -401,8 +401,8 @@ static void mainboard_init(struct device *dev)
 	 * been found to come up as 3. This means FIMD SYSMMU is on by
 	 * default on Exynos5420. For now we are disabling FIMD SYSMMU.
 	 */
-	write32((void *)0x14640000, 0x0);
-	write32((void *)0x14680000, 0x0);
+	write32p(0x14640000, 0x0);
+	write32p(0x14680000, 0x0);
 
 	lcd_vdd();
 
diff --git a/src/mainboard/google/trogdor/mainboard.c b/src/mainboard/google/trogdor/mainboard.c
index 99c325e28a..f1409ce390 100644
--- a/src/mainboard/google/trogdor/mainboard.c
+++ b/src/mainboard/google/trogdor/mainboard.c
@@ -280,9 +280,9 @@ static void display_startup(void)
 static void configure_sdhci(void)
 {
 	/* Program eMMC drive strength to 16/16/16 mA */
-	write32((void *)SDC1_TLMM_CFG_ADDR, 0x9FFF);
+	write32p(SDC1_TLMM_CFG_ADDR, 0x9FFF);
 	/* Program SD card drive strength to 16/10/10 mA */
-	write32((void *)SDC2_TLMM_CFG_ADDR, 0x1FE4);
+	write32p(SDC2_TLMM_CFG_ADDR, 0x1FE4);
 }
 
 static void mainboard_init(struct device *dev)