portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

SELFOUR-708: fix priority docs on TCBConfigure

Browse source
This commit is contained in:
Anna Lyons 2017-05-23 17:01:12 +10:00
parent df1d9d7e5d
commit 3230c90076
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libsel4/include/interfaces/sel4.xml
View file

@ -129,7 +129,7 @@
<param dir="in" name="fault_ep" type="seL4_Word"
description="CPTR to the endpoint which receives IPCs when this thread faults. This capability is in the CSpace of the thread being configured."/>
<param dir="in" name="priority" type="seL4_PrioProps_t"
description="The thread's new priority."/>
description="The thread's new priority properties: the maximum control priority and priority."/>
<param dir="in" name="cspace_root" type="seL4_CNode"
description="The new CSpace root."/>
<param dir="in" name="cspace_root_data" type="seL4_CapData_t"