POK
|
00001 /* 00002 * POK header 00003 * 00004 * The following file is a part of the POK project. Any modification should 00005 * made according to the POK licence. You CANNOT use this file or a part of 00006 * this file is this part of a file for your own project 00007 * 00008 * For more information on the POK licence, please see our LICENCE FILE 00009 * 00010 * Please follow the coding guidelines described in doc/CODING_GUIDELINES 00011 * 00012 * Copyright (c) 2007-2009 POK team 00013 * 00014 * Created by julien on Wed Jan 21 23:07:15 2009 00015 */ 00016 00017 #ifdef POK_NEEDS_ERROR_HANDLING 00018 #include <core/error.h> 00019 #include <core/thread.h> 00020 #include <core/partition.h> 00021 #include <core/syscall.h> 00022 00023 pok_ret_t pok_error_handler_set_ready (const pok_error_status_t* status) 00024 { 00025 return pok_syscall2 (POK_SYSCALL_ERROR_HANDLER_SET_READY, 00026 (uint32_t)status, 0); 00027 } 00028 00029 #endif