| /* two abstractions specific to kernel/smpboot.c, mainly to cater to visws |
| * which needs to alter them. */ |
| static inline void smpboot_clear_io_apic_irqs(void) |
| static inline void smpboot_setup_warm_reset_vector(unsigned long start_eip) |
| *((volatile unsigned short *) TRAMPOLINE_HIGH) = start_eip >> 4; |
| *((volatile unsigned short *) TRAMPOLINE_LOW) = start_eip & 0xf; |
| static inline void smpboot_restore_warm_reset_vector(void) |
| * Install writable page 0 entry to set BIOS data area. |
| * Paranoid: Set warm reset code and vector here back |
| *((volatile long *) phys_to_virt(0x467)) = 0; |
| static inline void smpboot_setup_io_apic(void) |
| * Here we can be sure that there is an IO-APIC in the system. Let's |
| if (!skip_ioapic_setup && nr_ioapics) |