amd_iommu_target_ivhd_type  154 drivers/iommu/amd_iommu_init.c static int amd_iommu_target_ivhd_type;
amd_iommu_target_ivhd_type  569 drivers/iommu/amd_iommu_init.c 		if (h->type == amd_iommu_target_ivhd_type) {
amd_iommu_target_ivhd_type 1632 drivers/iommu/amd_iommu_init.c 		if (*p == amd_iommu_target_ivhd_type) {
amd_iommu_target_ivhd_type 2559 drivers/iommu/amd_iommu_init.c 	amd_iommu_target_ivhd_type = get_highest_supported_ivhd_type(ivrs_base);
amd_iommu_target_ivhd_type 2560 drivers/iommu/amd_iommu_init.c 	DUMP_printk("Using IVHD type %#x\n", amd_iommu_target_ivhd_type);