POK
/home/jaouen/pok_official/pok/trunk/libpok/arch.h
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 Thu Jan 15 23:34:13 2009 
00015  */
00016 
00017 
00018 #ifndef __LIBPOK_ARCH__
00019 #define __LIBPOK_ARCH__
00020 
00021 void pok_arch_idle (void);
00022 /*
00023  * Dummy function that halts the CPU
00024  */
00025 
00026 void pok_context_switch (uint32_t* old_sp, uint32_t new_sp);
00027 /*
00028  * Handle context-switch between two threads
00029  */
00030 
00031 #endif
00032