1static inline void smpboot_setup_warm_reset_vector(unsigned long start_eip) 2{ 3 CMOS_WRITE(0xa, 0xf); 4 local_flush_tlb(); 5 Dprintk("1.\n"); 6 *((volatile unsigned short *) TRAMPOLINE_HIGH) = start_eip >> 4; 7 Dprintk("2.\n"); 8 *((volatile unsigned short *) TRAMPOLINE_LOW) = start_eip & 0xf; 9 Dprintk("3.\n"); 10} 11 12/* for visws do nothing for any of these */ 13 14static inline void smpboot_clear_io_apic_irqs(void) 15{ 16} 17 18static inline void smpboot_restore_warm_reset_vector(void) 19{ 20} 21 22static inline void smpboot_setup_io_apic(void) 23{ 24} 25