diff --git a/drivers/gpio/gpio_sifive.c b/drivers/gpio/gpio_sifive.c
index 2f10b7c9932..a9cb5dd7538 100644
--- a/drivers/gpio/gpio_sifive.c
+++ b/drivers/gpio/gpio_sifive.c
@@ -41,8 +41,8 @@ struct gpio_sifive_t {
 };
 
 struct gpio_sifive_config {
-	u32_t            gpio_base_addr;
-	u32_t            gpio_irq_base;
+	uintptr_t            gpio_base_addr;
+	u32_t                gpio_irq_base;
 	sifive_cfg_func_t    gpio_cfg_func;
 };
 
diff --git a/drivers/pinmux/pinmux_sifive.c b/drivers/pinmux/pinmux_sifive.c
index e44113e41b5..1c43c0c6d88 100644
--- a/drivers/pinmux/pinmux_sifive.c
+++ b/drivers/pinmux/pinmux_sifive.c
@@ -14,7 +14,7 @@
 #include <soc.h>
 
 struct pinmux_sifive_config {
-	u32_t base;
+	uintptr_t base;
 };
 
 struct pinmux_sifive_regs_t {
diff --git a/drivers/serial/uart_sifive.c b/drivers/serial/uart_sifive.c
index 8627171eba3..3ef0a93c15a 100644
--- a/drivers/serial/uart_sifive.c
+++ b/drivers/serial/uart_sifive.c
@@ -45,7 +45,7 @@ typedef void (*irq_cfg_func_t)(void);
 #endif
 
 struct uart_sifive_device_config {
-	u32_t       port;
+	uintptr_t   port;
 	u32_t       sys_clk_freq;
 	u32_t       baud_rate;
 	u32_t       rxcnt_irq;