void __init x2apic_bsp_setup(void)
{
struct IO_APIC_route_entry **ioapic_entries = NULL;
+ const char *orig_name;
if ( !cpu_has_x2apic )
return;
force_iommu = 1;
+ orig_name = genapic.name;
genapic = *apic_x2apic_probe();
- printk("Switched to APIC driver %s.\n", genapic.name);
+ if ( genapic.name != orig_name )
+ printk("Switched to APIC driver %s\n", genapic.name);
if ( !x2apic_enabled )
{
int i;
for (i = 0; apic_probe[i]; ++i) {
if (apic_probe[i]->mps_oem_check(mpc,oem,productid)) {
- if (!cmdline_apic) {
+ if (!cmdline_apic &&
+ genapic.name != apic_probe[i]->name) {
genapic = *apic_probe[i];
printk(KERN_INFO "Switched to APIC driver `%s'.\n",
genapic.name);
int i;
for (i = 0; apic_probe[i]; ++i) {
if (apic_probe[i]->acpi_madt_oem_check(oem_id, oem_table_id)) {
- if (!cmdline_apic) {
+ if (!cmdline_apic &&
+ genapic.name != apic_probe[i]->name) {
genapic = *apic_probe[i];
printk(KERN_INFO "Switched to APIC driver `%s'.\n",
genapic.name);