| 
    POK(kernelpart)
    
   | 
 
#include <types.h>Go to the source code of this file.
Data Structures | |
| struct | context_t | 
| struct | volatile_context_t | 
Functions | |
| uint32_t | pok_context_create (uint32_t id, uint32_t stack_size, uint32_t entry) | 
| void | pok_context_switch (uint32_t *old_sp, uint32_t new_sp) |