MAX_DOMAIN_ID     557 arch/x86/kernel/amd_iommu.c 	id = find_first_zero_bit(amd_iommu_pd_alloc_bitmap, MAX_DOMAIN_ID);
MAX_DOMAIN_ID     559 arch/x86/kernel/amd_iommu.c 	if (id > 0 && id < MAX_DOMAIN_ID)
MAX_DOMAIN_ID    1093 arch/x86/kernel/amd_iommu_init.c 					    get_order(MAX_DOMAIN_ID/8));
MAX_DOMAIN_ID    1156 arch/x86/kernel/amd_iommu_init.c 		   get_order(MAX_DOMAIN_ID/8));