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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
