int get_physical_broadcast(void) { if (modern_apic()) return 0xff; else return 0xf; }
void __init sync_Arb_IDs(void) { if (modern_apic() || boot_cpu_data.x86_vendor == X86_VENDOR_AMD) return; apic_wait_icr_idle(); apic_printk(APIC_DEBUG, "Synchronizing Arb IDs.\n"); apic_write(APIC_ICR, APIC_DEST_ALLINC | APIC_INT_LEVELTRIG | APIC_DM_INIT); }
void __init sync_Arb_IDs(void) { /* Unsupported on P4 - see Intel Dev. Manual Vol. 3, Ch. 8.6.1 And not needed on AMD */ if (modern_apic()) return; /* * Wait for idle. */ apic_wait_icr_idle(); apic_printk(APIC_DEBUG, "Synchronizing Arb IDs.\n"); apic_write_around(APIC_ICR, APIC_DEST_ALLINC | APIC_INT_LEVELTRIG | APIC_DM_INIT); }
int get_physical_broadcast(void) { return modern_apic() ? 0xff : 0xf; }