void VBoxFreeDisplaysHGSMI(PVBOXMP_COMMON pCommon)
{
VBoxMPCmnUnmapAdapterMemory(pCommon, &pCommon->pvMiniportHeap);
HGSMIHeapDestroy(&pCommon->guestCtx.heapCtx);
/* Unmap the adapter information needed for HGSMI IO. */
VBoxMPCmnSyncToVideoIRQ(pCommon, VBoxUnmapAdpInfoCallback, pCommon);
VBoxMPCmnUnmapAdapterMemory(pCommon, &pCommon->pvAdapterInformation);
}
int vboxVbvaDestroy(PVBOXMP_DEVEXT pDevExt, VBOXVBVAINFO *pVbva)
{
int rc = VINF_SUCCESS;
VBoxMPCmnUnmapAdapterMemory(VBoxCommonFromDeviceExt(pDevExt), (void**)&pVbva->pVBVA);
memset(pVbva, 0, sizeof(VBOXVBVAINFO));
return rc;
}