- tkernel_2
- lib/libtk/src/chkspc.c - 1.4KB - 62 lines
35: {
36: return ChkSpace(addr, len, MA_READ, getsvcenv());
37: }
- More results from chkspc.c
- lib/libtk/src/chkspc2.c - 1.9KB - 72 lines
40: {
41: return ChkSpaceTstr(str, max, MA_READ, getsvcenv());
42: }
- More results from chkspc2.c
- lib/libtk/src/chkspc3.c - 1.8KB - 72 lines
40: {
41: return ChkSpaceBstr(str, max, MA_READ, getsvcenv());
42: }
- More results from chkspc3.c
- lib/libtk/src/sysdepend/tef_em1d/setspc.c - 1.9KB - 66 lines
35: /* Set current CPL in PPL */
36: taskmode = getsvcenv();
37: SCInfo.taskmode ^= (taskmode ^ (taskmode << 16)) & TMF_PPL(3);
- More results from setspc.c