You are right. I will change it accordingly. The logic should look
like:
if (domain attached to physical device)
ÂÂÂÂflush_piotlb_with_RID2PASID()
else if (domain_attached_to_mdev_device)
ÂÂÂÂflush_piotlb_with_default_pasid()
Does this work for you? Thanks for catching this!