gonzui

tkernel_2

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);
57:                 /* Change to PPL for nominated tasks */
58:                 taskmode = getsvcenv();
59:                 SCInfo.taskmode ^= (taskmode ^ r_eit.taskmode) & TMF_PPL(3);