Hi Xilong,
The definitions can be found in the XML here
https://github.com/seL4/seL4/blob/experimental/libsel4/include/interfaces/sel4.xml#L71
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
[email protected]
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.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
