static int32 x86_ici_interrupt(void *data) { // genuine inter-cpu interrupt int cpu = smp_get_current_cpu(); TRACE(("inter-cpu interrupt on cpu %d\n", cpu)); return smp_intercpu_int_handler(cpu); }
static int x86_64_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(); }