VBoxWatchdogInternal.h revision b0857f8608931dbbc92393a6cb8f478e65e7c2f1