bus/acpi/iommu.c

178         ACPI_DMAR_HEADER* record_hdr = (ACPI_DMAR_HEADER*)addr;
179         switch (record_hdr->Type) {
181             ACPI_DMAR_RESERVED_MEMORY* rec = (ACPI_DMAR_RESERVED_MEMORY*)record_hdr;
263         addr += record_hdr->Length;
293         ACPI_DMAR_HEADER* record_hdr = (ACPI_DMAR_HEADER*)addr;
294         switch (record_hdr->Type) {
296             ACPI_DMAR_HARDWARE_UNIT* rec = (ACPI_DMAR_HARDWARE_UNIT*)record_hdr;
307         addr += record_hdr->Length;
323         ACPI_DMAR_HEADER* record_hdr = (ACPI_DMAR_HEADER*)addr;
324         switch (record_hdr->Type) {
326             ACPI_DMAR_HARDWARE_UNIT* rec = (ACPI_DMAR_HARDWARE_UNIT*)record_hdr;
342         addr += record_hdr->Length;
482         ACPI_DMAR_HEADER* record_hdr = (ACPI_DMAR_HEADER*)addr;
483         if (record_hdr->Type == ACPI_DMAR_TYPE_HARDWARE_UNIT) {
487         addr += record_hdr->Length;
505         ACPI_DMAR_HEADER* record_hdr = (ACPI_DMAR_HEADER*)addr;
506         zxlogf(DEBUG1, "DMAR record: %d\n", record_hdr->Type);
507         switch (record_hdr->Type) {
509             ACPI_DMAR_HARDWARE_UNIT* rec = (ACPI_DMAR_HARDWARE_UNIT*)record_hdr;
543             ACPI_DMAR_RESERVED_MEMORY* rec = (ACPI_DMAR_RESERVED_MEMORY*)record_hdr;
558         addr += record_hdr->Length;