| 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); |
| printf("LockSegment: segment %x\n", segment); |
| /********************************************************************** |
| KERNEL_UnlockSegment(int segment) |
| segment = *(Stack16Frame + 6); |
| printf("UnlockSegment: segment %x\n", segment); |
| /********************************************************************** |
| ReturnFromRegisterFunc(); |
| /* Function does not return */ |
| /********************************************************************** |
| KERNEL_WaitEvent(int task) |
| printf("WaitEvent: task %d\n", task); |