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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c67 #define SKB_SCHEMA_IO_SAPIC \ macro
256 ACPI_DEBUG(SKB_SCHEMA_IO_SAPIC, e->Id, e->GlobalIrqBase, e->Address);
258 return skb_add_fact(SKB_SCHEMA_IO_SAPIC, e->Id, e->GlobalIrqBase, e->Address);

Completed in 6 milliseconds