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);