Where is the definition of seL4_TCB_BindAEP and seL4_TCB_UnbindAEP?
6 Jul
2015
6 Jul
'15
6:26 p.m.
Hi, In test program binding.c https://github.com/seL4/sel4test/blob/master/apps/sel4test-tests/src/tests/b inding.c , there are two functions, seL4_TCB_BindAEP and seL4_TCB_UnbindAEP, where can I get their definitions? Xilong Pei Tongji University 2015/7/6
3915
Age (days ago)
3915
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adrian Danis -
XilongPei(裴喜龙)