usr/acpi/acpi_parse_dmar.c

183  * @param drhd  pointer to the ACPI DRHD sub table
192 static errval_t parse_hardware_unit(ACPI_DMAR_HARDWARE_UNIT *drhd, void *end,
197     ACPI_DEBUG("[dmar] [drhd] " SKB_SCHEMA_DMAR_HW_UNIT "\n",
198                  idx, drhd->Flags, drhd->Segment, drhd->Address);
200     err = skb_add_fact(SKB_SCHEMA_DMAR_HW_UNIT, idx, drhd->Flags, drhd->Segment,
201                        drhd->Address);
204                   idx, drhd->Flags, drhd->Segment, drhd->Address);
208                        drhd->Flags & ACPI_DMAR_INCLUDE_ALL, drhd->Segment);
211                   idx, drhd->Flags, drhd->Segment, drhd->Address);
216                        drhd->Address, drhd->Address + BASE_PAGE_SIZE);
219                   drhd->Address);
222     debug_printf("[dmar] [drhd] set fixed_memory(%"PRIx64", %"PRIx64")\n",
223                  drhd->Address, drhd->Address + BASE_PAGE_SIZE);
234     if (drhd->Flags & ACPI_DMAR_INCLUDE_ALL) {
235         debug_printf("[dmar] [drhd] ACPI_DMAR_INCLUDE_ALL set for segment %u\n",
236                      drhd->Segment);
244     void *sub = ((uint8_t *)drhd) + sizeof(ACPI_DMAR_HARDWARE_UNIT);
245     err = parse_device_scope(sub, end, drhd->Segment, ACPI_DMAR_TYPE_HARDWARE_UNIT,
246                              drhd->Flags & ACPI_DMAR_INCLUDE_ALL, idx);
249                   idx, drhd->Flags, drhd->Segment, drhd->Address);
252     debug_printf("[dmar] [drhd] set " HW_PCI_IOMMU_RECORD_FORMAT "\n",
253                  idx, HW_PCI_IOMMU_INTEL, drhd->Flags, drhd->Segment, drhd->Address);
256                     HW_PCI_IOMMU_INTEL, drhd->Flags, drhd->Segment,
257                     drhd->Address);