/usr/src/virtualbox-guest-4.1.42/r0drv/mp-r0drv.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 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 | /* $Id: mp-r0drv.h $ */
/** @file
* IPRT - Multiprocessor, Ring-0 Driver, Internal Header.
*/
/*
* Copyright (C) 2008 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.
*
* The contents of this file may alternatively be used under the terms
* of the Common Development and Distribution License Version 1.0
* (CDDL) only, as it comes in the "COPYING.CDDL" file of the
* VirtualBox OSE distribution, in which case the provisions of the
* CDDL are applicable instead of those of the GPL.
*
* You may elect to license modified versions of this file under the
* terms and conditions of either the GPL or the CDDL or both.
*/
#ifndef ___r0drv_mp_r0drv_h
#define ___r0drv_mp_r0drv_h
#include <iprt/mp.h>
RT_C_DECLS_BEGIN
/**
* MP callback
*
* @param idCpu CPU id
* @param pvUser1 The first user argument.
* @param pvUser2 The second user argument.
*/
typedef DECLCALLBACK(void) FNMPWORKER(RTCPUID idCpu, void *pvUser1, void *pvUser2);
/** Pointer to a FNMPWORKER(). */
typedef FNMPWORKER *PFNMPWORKER;
/**
* RTMpOn* argument packet used by the host specific callback
* wrapper functions.
*/
typedef struct RTMPARGS
{
PFNMPWORKER pfnWorker;
void *pvUser1;
void *pvUser2;
RTCPUID idCpu;
uint32_t volatile cHits;
} RTMPARGS;
/** Pointer to a RTMpOn* argument packet. */
typedef RTMPARGS *PRTMPARGS;
/* Called from initterm-r0drv.cpp: */
DECLHIDDEN(int) rtR0MpNotificationInit(void);
DECLHIDDEN(void) rtR0MpNotificationTerm(void);
/* The following is only relevant when using mpnotifcation-r0drv.cpp: */
DECLHIDDEN(int) rtR0MpNotificationNativeInit(void);
DECLHIDDEN(void) rtR0MpNotificationNativeTerm(void);
DECLHIDDEN(void) rtMpNotificationDoCallbacks(RTMPEVENT enmEvent, RTCPUID idCpu);
RT_C_DECLS_END
#endif
|