idxd_device_drain_pasid
idxd_device_drain_pasid(idxd, ctx->pasid);
void idxd_device_drain_pasid(struct idxd_device *idxd, int pasid);