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.