Searched refs:user_x2apic (Results 1 – 1 of 1) sorted by relevance
206 int user_x2apic; in madt_setup_local() local223 user_x2apic = x2apic_mode; in madt_setup_local()224 TUNABLE_INT_FETCH("hw.apic.x2apic_mode", &user_x2apic); in madt_setup_local()225 if (user_x2apic != x2apic_mode) { in madt_setup_local()226 if (bios_x2apic && !user_x2apic) in madt_setup_local()230 x2apic_mode = user_x2apic; in madt_setup_local()