Symbol: intel_pasid_alloc_table