4c221b0da1816acf2ca302b10092df059484468dvboxsync/* $Id$ */
4c221b0da1816acf2ca302b10092df059484468dvboxsync/** @file
4c221b0da1816acf2ca302b10092df059484468dvboxsync * SUPDrv - Static dtrace probes.
4c221b0da1816acf2ca302b10092df059484468dvboxsync */
4c221b0da1816acf2ca302b10092df059484468dvboxsync
4c221b0da1816acf2ca302b10092df059484468dvboxsync/*
4c221b0da1816acf2ca302b10092df059484468dvboxsync * Copyright (C) 2010-2012 Oracle Corporation
4c221b0da1816acf2ca302b10092df059484468dvboxsync *
4c221b0da1816acf2ca302b10092df059484468dvboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
4c221b0da1816acf2ca302b10092df059484468dvboxsync * available from http://www.virtualbox.org. This file is free software;
4c221b0da1816acf2ca302b10092df059484468dvboxsync * you can redistribute it and/or modify it under the terms of the GNU
4c221b0da1816acf2ca302b10092df059484468dvboxsync * General Public License (GPL) as published by the Free Software
4c221b0da1816acf2ca302b10092df059484468dvboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
4c221b0da1816acf2ca302b10092df059484468dvboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
4c221b0da1816acf2ca302b10092df059484468dvboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
4c221b0da1816acf2ca302b10092df059484468dvboxsync */
4c221b0da1816acf2ca302b10092df059484468dvboxsync
4c221b0da1816acf2ca302b10092df059484468dvboxsync
4c221b0da1816acf2ca302b10092df059484468dvboxsyncprovider vboxdrv
4c221b0da1816acf2ca302b10092df059484468dvboxsync{
4c221b0da1816acf2ca302b10092df059484468dvboxsync probe session__create(struct SUPDRVSESSION *pSession, int fUser);
4c221b0da1816acf2ca302b10092df059484468dvboxsync probe session__close(struct SUPDRVSESSION *pSession);
4c221b0da1816acf2ca302b10092df059484468dvboxsync probe ioctl__entry(struct SUPDRVSESSION *pSession, uintptr_t uIOCtl, void *pvReqHdr);
4c221b0da1816acf2ca302b10092df059484468dvboxsync probe ioctl__return(struct SUPDRVSESSION *pSession, uintptr_t uIOCtl, void *pvReqHdr, int rc, int rcReq);
4c221b0da1816acf2ca302b10092df059484468dvboxsync};
4c221b0da1816acf2ca302b10092df059484468dvboxsync
4c221b0da1816acf2ca302b10092df059484468dvboxsync#pragma D attributes Evolving/Evolving/Common provider vboxdrv provider
4c221b0da1816acf2ca302b10092df059484468dvboxsync#pragma D attributes Private/Private/Unknown provider vboxdrv module
4c221b0da1816acf2ca302b10092df059484468dvboxsync#pragma D attributes Private/Private/Unknown provider vboxdrv function
4c221b0da1816acf2ca302b10092df059484468dvboxsync#pragma D attributes Evolving/Evolving/Common provider vboxdrv name
4c221b0da1816acf2ca302b10092df059484468dvboxsync#pragma D attributes Evolving/Evolving/Common provider vboxdrv args
4c221b0da1816acf2ca302b10092df059484468dvboxsync
4c221b0da1816acf2ca302b10092df059484468dvboxsync
4c221b0da1816acf2ca302b10092df059484468dvboxsync