kern_yield
#define kpreempt(x) kern_yield(PRI_USER)
#define yield() kern_yield(PRI_UNCHANGED)
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_UNCHANGED);
kern_yield(PRI_UNCHANGED);
kern_yield(PRI_UNCHANGED);
kern_yield(PRI_UNCHANGED);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
kern_yield(PRI_USER);
void kern_yield(int);
kern_yield(PRI_USER);