VBoxMPCr.cpp revision 87150caf549846b0edba30c50dabe5092df70b5f
/* $Id$ */
/** @file
* VBox WDDM Miniport driver
*/
/*
* Copyright (C) 2012 Oracle Corporation
*
* This file is part of VirtualBox Open Source Edition (OSE), as
* available from http://www.virtualbox.org. This file is free software;
* 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.
*/
#include "VBoxMPWddm.h"
#include "VBoxMPCr.h"
{
if (pDevExt->cCrCtlRefs++)
return VINF_ALREADY_INITIALIZED;
if (RT_SUCCESS(rc))
{
return VINF_SUCCESS;
}
--pDevExt->cCrCtlRefs;
return rc;
}
{
if (--pDevExt->cCrCtlRefs)
{
return VINF_SUCCESS;
}
if (RT_SUCCESS(rc))
{
return VINF_SUCCESS;
}
++pDevExt->cCrCtlRefs;
return rc;
}
static int vboxMpCrCtlConSetVersion(struct _VBOXMP_DEVEXT *pDevExt, uint32_t u32ClientID, uint32_t vMajor, uint32_t vMinor)
{
int rc;
if (RT_FAILURE(rc))
{
return rc;
}
{
}
return VINF_SUCCESS;
}
{
int rc;
if (RT_FAILURE(rc))
{
return rc;
}
{
}
return VINF_SUCCESS;
}
{
if (RT_SUCCESS(rc))
{
if (RT_SUCCESS(rc))
{
if (RT_SUCCESS(rc))
{
if (RT_SUCCESS(rc))
{
return VINF_SUCCESS;
}
else
{
}
}
else
{
}
}
else
{
}
}
else
{
}
*pu32ClientID = 0;
return rc;
}
{
if (RT_SUCCESS(rc))
{
return VINF_SUCCESS;
}
else
{
}
return rc;
}
int VBoxMpCrCtlConCall(struct _VBOXMP_DEVEXT *pDevExt, VBoxGuestHGCMCallInfo *pData, uint32_t cbData)
{
if (RT_SUCCESS(rc))
return VINF_SUCCESS;
return rc;
}
int VBoxMpCrCtlConCallUserData(struct _VBOXMP_DEVEXT *pDevExt, VBoxGuestHGCMCallInfo *pData, uint32_t cbData)
{
if (RT_SUCCESS(rc))
return VINF_SUCCESS;
return rc;
}