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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c57 #define SKB_SCHEMA_IO_APIC \ macro
130 ACPI_DEBUG(SKB_SCHEMA_IO_APIC, s->Id, s->Address, s->GlobalIrqBase);
131 skb_add_fact(SKB_SCHEMA_IO_APIC, s->Id, s->Address, s->GlobalIrqBase);

Completed in 8 milliseconds