Searched refs:drhd (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/acpi/
H A Dacpi_parse_dmar.c183 * @param drhd pointer to the ACPI DRHD sub table
192 static errval_t parse_hardware_unit(ACPI_DMAR_HARDWARE_UNIT *drhd, void *end, argument
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
[all...]
H A Dintel_vtd.c646 ACPI_DMAR_HARDWARE_UNIT *drhd; local
649 drhd = (ACPI_DMAR_HARDWARE_UNIT *)begin;
652 index, drhd->Flags, drhd->Segment, drhd->Address);
654 new_unit = vtd_create_unit(vtd_map_registers(drhd->Address), drhd->Segment);
658 vtd_parse_dev_scope_structure(index, drhd->Segment, begin + sizeof(ACPI_DMAR_HARDWARE_UNIT),

Completed in 34 milliseconds