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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c81 #define SKB_SCHEMA_GENERIC_DISTRIBUTOR \ macro
345 ACPI_DEBUG(SKB_SCHEMA_GENERIC_DISTRIBUTOR, s->GicId, s->BaseAddress,
348 return skb_add_facts(SKB_SCHEMA_GENERIC_DISTRIBUTOR, s->GicId, s->BaseAddress,

Completed in 29 milliseconds