|
StuBS
|
#include "thread/thread.h"#include "thread/dispatcher.h"#include "interrupt/guard.h"#include "debug/output.h"Typedefs | |
| typedef void(* | kickoff_t) (void *) |
Constants | |
| static const uint32_t | STACK_OVERFLOW_CANARY = 0x9badcafeUL |
| static volatile size_t | idCounter = 1 |
| typedef void(* kickoff_t) (void *) |
|
static |
|
static |