1 /* two abstractions specific to kernel/smpboot.c, mainly to cater to visws
2 * which needs to alter them. */
4 static inline void smpboot_clear_io_apic_irqs(void)
6 #ifdef CONFIG_X86_IO_APIC
11 static inline void smpboot_setup_warm_reset_vector(unsigned long start_eip)
16 *((volatile unsigned short *) TRAMPOLINE_HIGH) = start_eip >> 4;
18 *((volatile unsigned short *) TRAMPOLINE_LOW) = start_eip & 0xf;
22 static inline void smpboot_restore_warm_reset_vector(void)
25 * Install writable page 0 entry to set BIOS data area.
30 * Paranoid: Set warm reset code and vector here back
35 *((volatile long *) phys_to_virt(0x467)) = 0;
38 static inline void __init smpboot_setup_io_apic(void)
40 #ifdef CONFIG_X86_IO_APIC
42 * Here we can be sure that there is an IO-APIC in the system. Let's
45 if (!skip_ioapic_setup && nr_ioapics)
49 localise_nmi_watchdog();
54 static inline void smpboot_clear_io_apic(void)
56 #ifdef CONFIG_X86_IO_APIC