Searched refs:intel_pasid_max_id (Results 1 – 4 of 4) sorted by relevance
78 extern u32 intel_pasid_max_id;
28 u32 intel_pasid_max_id = PASID_MAX; variable36 max = min_t(int, end, intel_pasid_max_id); in intel_pasid_alloc_id()151 intel_pasid_max_id); in intel_pasid_alloc_table()
318 if (pasid_max > intel_pasid_max_id) in intel_svm_bind_mm()319 pasid_max = intel_pasid_max_id; in intel_svm_bind_mm()
3236 intel_pasid_max_id = min_t(u32, temp, in init_dmars()3237 intel_pasid_max_id); in init_dmars()
