diff --git a/platform/interface/device_region.h b/platform/interface/device_region.h
index 1ad1721..8bbf203 100644
--- a/platform/interface/device_region.h
+++ b/platform/interface/device_region.h
@@ -23,7 +23,7 @@
 {
     char dev_class[16];     /**< Identifier for class of device e.g. 'trng' */
     int dev_instance;       /**< Instance of the class of device on a platform */
-    uint8_t *base_addr;     /**< Base address or region */
+    uintptr_t base_addr;    /**< Base address or region */
     size_t io_region_size;  /**< Size of I/O region in bytes */
 };