VBoxWatchdogInternal.h revision bb424850773b1cf1ae7a69650e7841f0cda3b350