#include "kernel.h" #include "syscall.h" int Create (int priority, void (*code)()) { // assemble args into a Request struct // then call syscallHandler and pass it that Request struct whih will invoke the appropriate kernel handler // return TaskID of new Task } int MyTid() { } int MyParentTid() { } void Pass() { } void Exit() { }