[PATCH 0/2] Make the vmwgfx driver reasonably DMA-API compliant