kbTaskCode        409 newtask.c      extern void kbTaskCode(void);
kbTaskCode        423 newtask.c      	NewKernelTask(kbTaskCode);