mb/google/{herobrine,peach_pit,trogdor}: Use {read,write}32p()

Change-Id: I2e1978f20b085f609cbeb0907374383f2d11fbf0
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/70474
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
diff --git a/src/mainboard/google/herobrine/mainboard.c b/src/mainboard/google/herobrine/mainboard.c
index 8a51b2b..5a58f52 100644
--- a/src/mainboard/google/herobrine/mainboard.c
+++ b/src/mainboard/google/herobrine/mainboard.c
@@ -38,9 +38,9 @@
 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 9cefb81..3fc6ded 100644
--- a/src/mainboard/google/peach_pit/mainboard.c
+++ b/src/mainboard/google/peach_pit/mainboard.c
@@ -401,8 +401,8 @@
 	 * 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 99c325e..f1409ce 100644
--- a/src/mainboard/google/trogdor/mainboard.c
+++ b/src/mainboard/google/trogdor/mainboard.c
@@ -280,9 +280,9 @@
 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)