gonzui

tkernel_2

lib/libtk/src/chkspc.c - 1.4KB - 62 lines

35: {
36:         return ChkSpace(addr, len, MA_READ, getsvcenv());
37: }

More results from tkernel_2

t2ex

t2ex_source/lib/libtk/src_t2ex/sysdepend/tef_em1d/setspc.c - 3.3KB - 97 lines

66:                 /* Set current CPL in RPL */
67:                 taskmode = getsvcenv();
68:                 SCInfo.taskmode ^= (taskmode ^ (taskmode << 16)) & TMF_PPL(3);

More results from setspc.c