add: TRACE(("thread_atkernel_exit: entry\n"));
context: thread_atkernel_exit(void){	cpu_status state;	int global_resched;	struct thread *t;	bigtime_t now;//	dprintf("thread_atkernel_exit: entry\n");	t = thread_get_current_thread();	state = disable_interrupts();	GRAB_THREAD_LOCK();	global_resched = handle_signals(t, state);	t->in_kernel = false;	// track kernel time	now = system_time();	t->kernel_time += now - t->last_time;	t->last_time = now;	t->last_time_type = USER_TIME;	RELEASE_THREAD_LOCK();	restore_interrupts(state);	if (global_resched)		smp_send_broadcast_ici(SMP_MSG_RESCHEDULE, 0, 0, 0, NULL, SMP_MSG_FLAG_SYNC);}