/usr/src/virtualbox-guest-4.1.42/vboxguest/VBoxGuest2.h is in virtualbox-guest-dkms 4.1.42-dfsg-1+deb7u1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | /* $Id: VBoxGuest2.h $ */
/** @file
* VBoxGuest - Guest Additions Driver, bits shared with the windows code.
*/
/*
* Copyright (C) 2010 Oracle Corporation
*
* This file is part of VirtualBox Open Source Edition (OSE), as
* available from http://www.virtualbox.org. This file is free software;
* you can redistribute it and/or modify it under the terms of the GNU
* General Public License (GPL) as published by the Free Software
* Foundation, in version 2 as it comes in the "COPYING" file of the
* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
*/
#ifndef ___VBoxGuest2_h
#define ___VBoxGuest2_h
#include <VBox/ostypes.h>
RT_C_DECLS_BEGIN
int VBoxGuestReportGuestInfo(VBOXOSTYPE enmOSType);
int VBoxGuestReportDriverStatus(bool fActive);
RT_C_DECLS_END
#endif
|