_read | lib/pthread.flx: 34 |
_write | lib/pthread.flx: 42 |
flx_main | test/nd101.flx: 11 , 42 |
lock | lib/pthread.flx: 22 , 24 |
mk_pchannel | lib/pthread.flx: 30 |
randprint | test/nd102.flx: 9 |
read | lib/pthread.flx: 36 |
spawn_pthread | lib/pthread.flx: 14 |
thr | test/nd101.flx: 9 |
unlock | lib/pthread.flx: 23 , 25 |
write | lib/pthread.flx: 43 |