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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c61 #define SKB_SCHEMA_NMI_SOURCE \ macro
231 ACPI_DEBUG(SKB_SCHEMA_NMI_SOURCE, e->IntiFlags, e->GlobalIrq);
233 return skb_add_fact(SKB_SCHEMA_NMI_SOURCE, e->IntiFlags, e->GlobalIrq);;

Completed in 10 milliseconds