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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c71 #define SKB_SCHEMA_INTERRUPT_SOURCE \ macro
272 ACPI_DEBUG(SKB_SCHEMA_INTERRUPT_SOURCE, e->IntiFlags, e->Type, e->Id, e->Eid,
275 return skb_add_facts(SKB_SCHEMA_INTERRUPT_SOURCE, e->IntiFlags, e->Type, e->Id,

Completed in 27 milliseconds