SELFOUR-708: fix priority docs on TCBConfigure

seL4 · May 25, 2017 · 3230c90 · 3230c90
1 parent df1d9d7
commit 3230c90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsel4/include/interfaces/sel4.xml b/libsel4/include/interfaces/sel4.xml
@@ -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"