diff --git a/src/base/types.hh b/src/base/types.hh
index d07c370ab5..a53f4db9db 100644
--- a/src/base/types.hh
+++ b/src/base/types.hh
@@ -165,6 +165,9 @@ isRomMicroPC(MicroPC upc)
 
 const Addr MaxAddr = (Addr)-1;
 
+typedef uint64_t RegVal;
+typedef double FloatRegVal;
+
 /**
  * Thread index/ID type
  */