diff options
Diffstat (limited to 'src/mainboard/google')
| -rw-r--r-- | src/mainboard/google/herobrine/mainboard.c | 4 | ||||
| -rw-r--r-- | src/mainboard/google/peach_pit/mainboard.c | 4 | ||||
| -rw-r--r-- | 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) |