Searched refs:intel_pasid_max_id (Results 1 – 4 of 4) sorted by relevance
26 u32 intel_pasid_max_id = PASID_MAX; variable34 max = min_t(int, end, intel_pasid_max_id); in intel_pasid_alloc_id()147 count = min_t(int, pci_max_pasids(to_pci_dev(dev)), intel_pasid_max_id); in intel_pasid_alloc_table()
28 extern u32 intel_pasid_max_id;
374 if (pasid_max > intel_pasid_max_id) in intel_svm_bind_mm()375 pasid_max = intel_pasid_max_id; in intel_svm_bind_mm()
3308 intel_pasid_max_id = min_t(u32, temp, in init_dmars()3309 intel_pasid_max_id); in init_dmars()
