Searched refs:default_apic_id_registered (Results 1 – 2 of 2) sorted by relevance
81 .apic_id_registered = default_apic_id_registered,
531 static inline int default_apic_id_registered(void) in default_apic_id_registered() function