IVHD_SPECIAL_HPET 1013 drivers/iommu/amd_iommu_init.c 	else if (type == IVHD_SPECIAL_HPET)
IVHD_SPECIAL_HPET 1093 drivers/iommu/amd_iommu_init.c 		ret = add_special_device(IVHD_SPECIAL_HPET,
IVHD_SPECIAL_HPET 1308 drivers/iommu/amd_iommu_init.c 			else if (type == IVHD_SPECIAL_HPET)