gistfile1.c

void SetPreemptionFrequency(int hz);
int GetAllTCBs(tcb_t *tcb_array_out);
int GetTCBStats(tcb_stat_t *tcb_array_out);
int UntypedRetype(mem, RunQueueCapability);
int SetRootRunqueue(CPtr runqueue);
int Untyped_Retype(untyped_t mem, int type, ...);

struct tcb_stat {
    unsigned execution_nanoseconds;
    unsigned preemptions;
}
typedef struct tcb_stat tcb_stat_t;

sendNB(CPtr aep, tcb_t waker);