diff options
| author | Felix Geyer <debfx-pkg@fobos.de> | 2011-07-29 17:55:18 +0200 |
|---|---|---|
| committer | Felix Geyer <debfx-pkg@fobos.de> | 2011-07-29 17:55:18 +0200 |
| commit | cba113ca2826bc4814be2f69a7704c865a37d4ea (patch) | |
| tree | 511123b10dd1e58e56958520534f5c50e6f570fc /src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp | |
| parent | 6a16f6900dd884e07125b51c9625f6be0a1f9b70 (diff) | |
| download | virtualbox-cba113ca2826bc4814be2f69a7704c865a37d4ea.tar.gz | |
Imported Upstream version 4.1.0-dfsgupstream/4.1.0-dfsg
Diffstat (limited to 'src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp')
| -rw-r--r-- | src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp b/src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp index 1e17681aa..1f6e56d16 100644 --- a/src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp +++ b/src/VBox/Frontends/VBoxBFE/VMMDevInterface.cpp @@ -1,4 +1,4 @@ -/* $Id: VMMDevInterface.cpp $ */ +/* $Id: VMMDevInterface.cpp 36590 2011-04-06 15:35:26Z vboxsync $ */ /** @file * VBox frontends: Basic Frontend (BFE): * Implementation of VMMDev: driver interface to VMM device @@ -47,9 +47,6 @@ # define VBOXSHAREDFOLDERS_DLL "VBoxSharedFolders" #endif -#ifdef RT_OS_L4 -#include <l4/util/util.h> /* for l4_sleep */ -#endif /** * VMMDev driver instance data. */ |