VFIO_DEVICE_DETACH_PASID
if (detach.flags & ~VFIO_DEVICE_DETACH_PASID)
if (detach.flags & VFIO_DEVICE_DETACH_PASID) {
if (detach.flags & VFIO_DEVICE_DETACH_PASID)