VBoxWatchdogInternal.h revision e83ee7cc9435a283e124399e410366174ae96a8a