From ca20fc3c6d252215ba50990cb203af31a0e3cb59 Mon Sep 17 00:00:00 2001 From: Elyes Haouas Date: Thu, 8 Dec 2022 08:53:19 +0100 Subject: [PATCH] mb/google/{herobrine,peach_pit,trogdor}: Use {read,write}32p() Change-Id: I2e1978f20b085f609cbeb0907374383f2d11fbf0 Signed-off-by: Elyes Haouas Reviewed-on: https://review.coreboot.org/c/coreboot/+/70474 Reviewed-by: Felix Held Tested-by: build bot (Jenkins) --- src/mainboard/google/herobrine/mainboard.c | 4 ++-- src/mainboard/google/peach_pit/mainboard.c | 4 ++-- src/mainboard/google/trogdor/mainboard.c | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) 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)