add: TRACE(("smp_intercpu_int_handler: entry on cpu %d\n", curr_cpu));
context: smp_intercpu_int_handler(void){	int retval;	int curr_cpu = smp_get_current_cpu();//	dprintf("smp_intercpu_int_handler: entry on cpu %d\n", curr_cpu);	retval = smp_process_pending_ici(curr_cpu);//	dprintf("smp_intercpu_int_handler: done\n");	return retval;}