| 
    POK(kernelpart)
    
   | 
 
#include <types.h>Go to the source code of this file.
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) | 
Variables | |
| uint32_t | pok_arch_sp | 
Definition in file thread.h.
| uint32_t pok_arch_sp |