Lines Matching refs:pasid
18 #include "pasid.h"
24 u32 pasid;
179 tbl_wlk->pasid, tbl_wlk->pasid_tbl_entry->val[2],
193 tbl_wlk->pasid = (dir_idx << PASID_PDE_SHIFT) + tbl_idx;
349 ioasid_t pasid)
404 dir_idx = pasid >> PASID_PDE_SHIFT;
405 tbl_idx = pasid & PASID_PTE_MASK;
446 seq_printf(m, "with pasid %x @0x%llx\n", pasid, pgd);
478 return domain_translation_struct_show(m, info, dev_pasid->pasid);
792 * Create a debugfs directory per pair of {device, pasid}, then create the
806 sprintf(dir_name, "%x", dev_pasid->pasid);
813 /* Remove the device pasid debugfs directory. */