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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_dmar.c350 * @param rhsa pointer to the ACPI sub table
359 static errval_t parse_hardware_resource_affinity(ACPI_DMAR_RHSA *rhsa) argument
361 ACPI_DEBUG("[dmar] [rhsa] " SKB_SCHEMA_DMAR_RHSA "\n",
362 rhsa->BaseAddress, rhsa->ProximityDomain);
364 return skb_add_fact(SKB_SCHEMA_DMAR_RHSA, rhsa->BaseAddress,
365 rhsa->ProximityDomain);
H A Dintel_vtd.c701 ACPI_DMAR_RHSA *rhsa; local
702 rhsa = (ACPI_DMAR_RHSA *)begin;
703 skb_add_fact("dmar_rhsa(%"PRIu64", %"PRIu32").", rhsa->BaseAddress, rhsa->ProximityDomain);

Completed in 41 milliseconds