rem: if (handle_signals(t, state))
add: if (handle_signals(t, &state))
context: thread_atkernel_exit(void){	cpu_status state;	struct thread *t;	bigtime_t now;	TRACE(("thread_atkernel_exit: entry\n"));	// ToDo: this may be broken (when it is called, and what exactly should it do...)	t = thread_get_current_thread();	state = disable_interrupts();	GRAB_THREAD_LOCK();	if (handle_signals(t, state))		scheduler_reschedule();	// was: smp_send_broadcast_ici(SMP_MSG_RESCHEDULE, 0, 0, 0, NULL, SMP_MSG_FLAG_SYNC);	t->in_kernel = false;	RELEASE_THREAD_LOCK();	// track kernel time	now = system_time();	t->kernel_time += now - t->last_time;	t->last_time = now;	t->last_time_type = USER_TIME;	restore_interrupts(state);}