gonzui

mtkernel_3

kernel/tkernel/eventflag.c - 10.5KB - 432 lines

236:         CHECK_FLGID(flgid);
237:         CHECK_PAR(waiptn != 0);
238:         CHECK_PAR((wfmode & ~(TWF_ORW|TWF_CLR|TWF_BITCLR)) == 0);

More results from mtkernel_3

tkernel_2

kernel/sysdepend/cpu/em1d/cpu_calls.c - 11.7KB - 449 lines

80: 
81:         CHECK_PAR(dintno < N_INTVEC);
82: 

More results from tkernel_2