rem: static int i386_ici_interrupt(void* data)
add: i386_ici_interrupt(void *data)
context: static int i386_ici_interrupt(void* data){	// gin-u-wine inter-cpu interrupt//	dprintf("inter-cpu interrupt on cpu %d\n", arch_smp_get_current_cpu());	arch_smp_ack_interrupt();	return smp_intercpu_int_handler();}