1 static char RCSId
[] = "$Id: kernel.c,v 1.2 1993/07/04 04:04:21 root Exp root $";
2 static char Copyright
[] = "Copyright Robert J. Amstadt, 1993";
6 #include "prototypes.h"
10 extern unsigned short WIN_StackSize
;
12 /**********************************************************************
16 KERNEL_LockSegment(int segment
)
19 segment
= *(Stack16Frame
+ 6);
22 printf("LockSegment: segment %x\n", segment
);
28 /**********************************************************************
29 * KERNEL_UnlockSegment
32 KERNEL_UnlockSegment(int segment
)
35 segment
= *(Stack16Frame
+ 6);
38 printf("UnlockSegment: segment %x\n", segment
);
44 /**********************************************************************
52 _DX
= Options
.cmdShow
;
54 ReturnFromRegisterFunc();
55 /* Function does not return */
58 /**********************************************************************
62 KERNEL_WaitEvent(int task
)
65 printf("WaitEvent: task %d\n", task
);