Searched refs:apic_set_max_apic_id (Results 1 – 3 of 3) sorted by relevance
6 void apic_set_max_apic_id(uint32_t max_apic_id);
53 void apic_set_max_apic_id(uint32_t max_apic_id) in apic_set_max_apic_id() function1165 apic_set_max_apic_id(1); in apic_realize()
109 apic_set_max_apic_id(x86ms->apic_id_limit); in x86_cpus_init()