diff --git a/hypervisor/include/lib/util.h b/hypervisor/include/lib/util.h
index 86e9b930c..6606b8793 100644
--- a/hypervisor/include/lib/util.h
+++ b/hypervisor/include/lib/util.h
@@ -56,4 +56,8 @@
 /** Roundup (x/y) to ( x/y + (x%y) ? 1 : 0) **/
 #define INT_DIV_ROUNDUP(x, y)	(((x)+(y)-1)/(y))
 
+#define min(x, y)	((x) < (y)) ? (x) : (y)
+
+#define max(x, y)	((x) < (y)) ? (y) : (x)
+
 #endif /* UTIL_H */