exit(1);
}
// Restore thread's context
- printf("About to restore\n"); // remove
info=((fosa_long_jump_context_t*) (siginfo.sival_ptr));
marte_nonlocaljmp_restorecontext(info->tid,&(info->marte_context));
- printf("Restored thread \n"); // remove
}
}
* notify it to the system console and then terminate the FRSH
* implementation and dependant applications
**/
- int fosa_signal_queue
+int fosa_signal_queue
(frsh_signal_t signal, frsh_signal_info_t info,
frsh_thread_id_t receiver)
{
* notify it to the system console and then terminate the FRSH
* implementation and dependant applications
**/
- int fosa_signal_wait
+int fosa_signal_wait
(frsh_signal_t set[], int size, frsh_signal_t *signal_received,
frsh_signal_info_t *info)
{