acpi: adding generic iommu() facts to the skb
#define SKB_SCHEMA_DMAR_HW_UNIT \
"dmar_drhd(%" PRIu32 ", %" PRIu8 ", %" PRIu16 ", %" PRIu64 ")."
+#define SKB_SCHEMA_IOMMU \
+ "iommu(%" PRIu32 ", %" PRIu32 ", %" PRIu8 ", %" PRIu16 ")."
+
#define SKB_SCHEMA_DMAR_RESERVED_MEMORY \
"dmar_rmem(%" PRIu16 ", %" PRIu64 ", %" PRIu64 ")."
@@ -196,6 +199,13 @@ static errval_t parse_hardware_unit(ACPI_DMAR_HARDWARE_UNIT *drhd, void *end,
idx, drhd->Flags, drhd->Segment, drhd->Address);
}
+ err = skb_add_fact(SKB_SCHEMA_IOMMU, HW_PCI_IOMMU_INTEL, idx,
+ drhd->Flags & ACPI_DMAR_INCLUDE_ALL, drhd->Segment);
+ if (err_is_fail(err)) {
+ DEBUG_ERR(err, "Failed to insert into SKB: " SKB_SCHEMA_DMAR_HW_UNIT "\n",
+ idx, drhd->Flags, drhd->Segment, drhd->Address);
+ }
+
/*
* If Set, this remapping hardware unit has under its scope all PCI
* compatible devices in the specified Segment, except devices reported
