gonzui

tkernel_2

kernel/tkernel/src/rendezvous.c - 20.8KB - 757 lines

430:         CHECK_PAR(calptn != 0);
431:         CHECK_RDVNO(rdvno);
432:         CHECK_PAR(cmsgsz >= 0);
548: 
549:         CHECK_RDVNO(rdvno);
550:         CHECK_PAR(rmsgsz >= 0);