Searched refs:user_x2apic (Results 1 – 1 of 1) sorted by relevance
142 int user_x2apic; in madt_setup_local() local205 user_x2apic = x2apic_mode; in madt_setup_local()206 TUNABLE_INT_FETCH("hw.x2apic_enable", &user_x2apic); in madt_setup_local()207 if (user_x2apic != x2apic_mode) { in madt_setup_local()208 if (bios_x2apic && !user_x2apic) in madt_setup_local()212 x2apic_mode = user_x2apic; in madt_setup_local()