| static char RCSId[] = "$Id: kernel.c,v 1.2 1993/07/04 04:04:21 root Exp root $"; |
| static char Copyright[] = "Copyright Robert J. Amstadt, 1993"; |
| extern unsigned short WIN_StackSize; |
| /********************************************************************** |
| KERNEL_LockSegment(int segment) |
| segment = *(Stack16Frame + 6); |
| fprintf(stddeb,"LockSegment: segment %x\n", segment); |
| /********************************************************************** |
| KERNEL_UnlockSegment(int segment) |
| segment = *(Stack16Frame + 6); |
| fprintf(stddeb,"UnlockSegment: segment %x\n", segment); |
| /********************************************************************** |
| void KERNEL_InitTask(void) |
| /* FIXME: DI should contain the instance handle of the caller, _DS doesn't |
| always work as the caller might have changed it. */ |
| ReturnFromRegisterFunc(); |
| /* Function does not return */ |
| /********************************************************************** |
| KERNEL_WaitEvent(int task) |
| fprintf(stddeb,"WaitEvent: task %d\n", task); |