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

/barrelfish-master/usr/acpi/
H A Dacpi_parse_madt.c75 #define SKB_SCHEMA_LOCAL_X2APIC_NMI \ macro
288 ACPI_DEBUG(SKB_SCHEMA_LOCAL_X2APIC_NMI, e->Uid, e->Lint);
290 return skb_add_facts(SKB_SCHEMA_LOCAL_X2APIC_NMI, e->Uid, e->Lint);

Completed in 27 milliseconds