VFIO_DEVICE_GET_GFX_DMABUF
} else if (cmd == VFIO_DEVICE_GET_GFX_DMABUF) {
case VFIO_DEVICE_GET_GFX_DMABUF:
