diff --git a/platform/interface/device_region.h b/platform/interface/device_region.h
index 8bbf203..3b1b1e3 100644
--- a/platform/interface/device_region.h
+++ b/platform/interface/device_region.h
@@ -24,6 +24,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 */
     uintptr_t base_addr;    /**< Base address or region */
+    uintptr_t phys_addr;    /**< Physical address of the region */
     size_t io_region_size;  /**< Size of I/O region in bytes */
 };