30 int vcmd_alloc_pasid(struct intel_iommu *iommu, u32 *pasid)  in vcmd_alloc_pasid()  argument
46 		*pasid = VCMD_VRSP_RESULT_PASID(res);  in vcmd_alloc_pasid()
61 void vcmd_free_pasid(struct intel_iommu *iommu, u32 pasid)  in vcmd_free_pasid()  argument
69 		    VCMD_CMD_OPERAND(pasid) | VCMD_CMD_FREE);  in vcmd_free_pasid()
245 struct pasid_entry *intel_pasid_get_entry(struct device *dev, u32 pasid)  in intel_pasid_get_entry()  argument
254 	if (WARN_ON(!pasid_table || pasid >= intel_pasid_get_dev_max_id(dev)))  in intel_pasid_get_entry()
259 	dir_index = pasid >> PASID_PDE_SHIFT;  in intel_pasid_get_entry()
260 	index = pasid & PASID_PTE_MASK;  in intel_pasid_get_entry()
307 intel_pasid_clear_entry(struct device *dev, u32 pasid, bool fault_ignore)  in intel_pasid_clear_entry()  argument
311 	pe = intel_pasid_get_entry(dev, pasid);  in intel_pasid_clear_entry()
456 				    u16 did, u32 pasid)  in pasid_cache_invalidation_with_pasid()  argument
461 		QI_PC_PASID(pasid) | QI_PC_TYPE;  in pasid_cache_invalidation_with_pasid()
471 			       struct device *dev, u32 pasid)  in devtlb_invalidation_with_pasid()  argument
490 	if (pasid == PASID_RID2PASID)  in devtlb_invalidation_with_pasid()
493 		qi_flush_dev_iotlb_pasid(iommu, sid, pfsid, pasid, qdep, 0, 64 - VTD_PAGE_SHIFT);  in devtlb_invalidation_with_pasid()
497 				 u32 pasid, bool fault_ignore)  in intel_pasid_tear_down_entry()  argument
502 	pte = intel_pasid_get_entry(dev, pasid);  in intel_pasid_tear_down_entry()
509 	intel_pasid_clear_entry(dev, pasid, fault_ignore);  in intel_pasid_tear_down_entry()
514 	pasid_cache_invalidation_with_pasid(iommu, did, pasid);  in intel_pasid_tear_down_entry()
517 		qi_flush_piotlb(iommu, did, pasid, 0, -1, 0);  in intel_pasid_tear_down_entry()
523 		devtlb_invalidation_with_pasid(iommu, dev, pasid);  in intel_pasid_tear_down_entry()
528 			       u32 pasid, u16 did)  in pasid_flush_caches()  argument
534 		pasid_cache_invalidation_with_pasid(iommu, did, pasid);  in pasid_flush_caches()
535 		qi_flush_piotlb(iommu, did, pasid, 0, -1, 0);  in pasid_flush_caches()
547 				  u32 pasid, u16 did, int flags)  in intel_pasid_setup_first_level()  argument
557 	pte = intel_pasid_get_entry(dev, pasid);  in intel_pasid_setup_first_level()
594 	pasid_flush_caches(iommu, pte, pasid, did);  in intel_pasid_setup_first_level()
623 				   struct device *dev, u32 pasid)  in intel_pasid_setup_second_level()  argument
651 	pte = intel_pasid_get_entry(dev, pasid);  in intel_pasid_setup_second_level()
653 		dev_err(dev, "Failed to get pasid entry of PASID %d\n", pasid);  in intel_pasid_setup_second_level()
672 	if (pasid != PASID_RID2PASID && ecap_srs(iommu->ecap))  in intel_pasid_setup_second_level()
675 	pasid_flush_caches(iommu, pte, pasid, did);  in intel_pasid_setup_second_level()
685 				   struct device *dev, u32 pasid)  in intel_pasid_setup_pass_through()  argument
690 	pte = intel_pasid_get_entry(dev, pasid);  in intel_pasid_setup_pass_through()
692 		dev_err(dev, "Failed to get pasid entry of PASID %d\n", pasid);  in intel_pasid_setup_pass_through()
710 	pasid_flush_caches(iommu, pte, pasid, did);  in intel_pasid_setup_pass_through()
772 			     pgd_t *gpgd, u32 pasid,  in intel_pasid_setup_nested()  argument
795 	pte = intel_pasid_get_entry(dev, pasid);  in intel_pasid_setup_nested()
868 	pasid_flush_caches(iommu, pte, pasid, did);  in intel_pasid_setup_nested()