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 |