Index: /trunk/src/VBox/Runtime/common/dvm/dvmbsdlabel.cpp
===================================================================
--- /trunk/src/VBox/Runtime/common/dvm/dvmbsdlabel.cpp	(revision 40948)
+++ /trunk/src/VBox/Runtime/common/dvm/dvmbsdlabel.cpp	(revision 40949)
@@ -30,4 +30,5 @@
 #include <iprt/dvm.h>
 #include <iprt/string.h>
+#include <iprt/asm.h>
 #include "internal/dvm.h"
 
Index: /trunk/src/VBox/Runtime/common/dvm/dvmgpt.cpp
===================================================================
--- /trunk/src/VBox/Runtime/common/dvm/dvmgpt.cpp	(revision 40948)
+++ /trunk/src/VBox/Runtime/common/dvm/dvmgpt.cpp	(revision 40949)
@@ -35,4 +35,5 @@
 #include <iprt/string.h>
 #include <iprt/uuid.h>
+#include <iprt/asm.h>
 #include "internal/dvm.h"