Searched refs:apic_id_registered (Results 1 – 4 of 4) sorted by relevance
83 .apic_id_registered = default_apic_id_registered,154 .apic_id_registered = default_apic_id_registered,
36 .apic_id_registered = default_apic_id_registered,
1553 BUG_ON(apic->apic_id_registered && !apic->apic_id_registered()); in setup_local_APIC()
293 bool (*apic_id_registered)(void); member