andd              448 drivers/iommu/dmar.c 	struct acpi_dmar_andd *andd = (void *)header;
andd              451 drivers/iommu/dmar.c 	if (strnlen(andd->device_name, header->length - 8) == header->length - 8) {
andd              461 drivers/iommu/dmar.c 	pr_info("ANDD device: %x name: %s\n", andd->device_number,
andd              462 drivers/iommu/dmar.c 		andd->device_name);
andd              745 drivers/iommu/dmar.c 	struct acpi_dmar_andd *andd;
andd              750 drivers/iommu/dmar.c 	for (andd = (void *)dmar_tbl + sizeof(struct acpi_table_dmar);
andd              751 drivers/iommu/dmar.c 	     ((unsigned long)andd) < ((unsigned long)dmar_tbl) + dmar_tbl->length;
andd              752 drivers/iommu/dmar.c 	     andd = ((void *)andd) + andd->header.length) {
andd              753 drivers/iommu/dmar.c 		if (andd->header.type == ACPI_DMAR_TYPE_NAMESPACE) {
andd              758 drivers/iommu/dmar.c 							  andd->device_name,
andd              761 drivers/iommu/dmar.c 				       andd->device_name);
andd              766 drivers/iommu/dmar.c 				       andd->device_name);
andd              769 drivers/iommu/dmar.c 			dmar_acpi_insert_dev_scope(andd->device_number, adev);