1 static inline void smpboot_setup_warm_reset_vector(unsigned long start_eip
)
6 *((volatile unsigned short *) TRAMPOLINE_HIGH
) = start_eip
>> 4;
8 *((volatile unsigned short *) TRAMPOLINE_LOW
) = start_eip
& 0xf;
12 /* for visws do nothing for any of these */
14 static inline void smpboot_clear_io_apic_irqs(void)
18 static inline void smpboot_restore_warm_reset_vector(void)
22 static inline void smpboot_setup_io_apic(void)