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
Hi Xilong,
The definitions can be found in the XML here https://github.com/seL4/seL4/blob/experimental/libsel4/include/interfaces/se... The C definitions are generated during the compilation of libsel4
Adrian
On 06/07/15 18:26, XilongPei(裴喜龙) wrote:
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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.