Symbol: pasid_set_flptr
drivers/iommu/intel/pasid.c
364
pasid_set_flptr(pte, fsptptr);
drivers/iommu/intel/pasid.c
638
pasid_set_flptr(pte, s1_cfg->pgtbl_addr);