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

fix white spaces in <docref> tags

Browse source 
Signed-off-by: Birgit Brecknell <bbrcknl@gmail.com>
This commit is contained in:
Birgit Brecknell 2024-03-22 10:04:09 +11:00 committed by Indan Zupancic
parent 31e82e81da
commit 43690234f1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -943,7 +943,7 @@
<param dir="in" name="src_depth" type="seL4_Uint8" description="Number of bits of src_index to resolve to find the source slot."/>
<param dir="in" name="rights" type="seL4_CapRights_t">
<description>
The rights inherited by the new capability.<docref>Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
The rights inherited by the new capability.<docref> Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
</description>
</param>
<error name="seL4_DeleteFirst" description="The destination slot contains a capability."/>
@ -992,7 +992,7 @@
<param dir="in" name="src_depth" type="seL4_Uint8" description="Number of bits of src_index to resolve to find the source slot."/>
<param dir="in" name="rights" type="seL4_CapRights_t">
<description>
The rights inherited by the new capability.<docref>Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
The rights inherited by the new capability.<docref> Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
</description>
</param>
<param dir="in" name="badge" type="seL4_Word" description="Badge or guard to be applied to the new capability. For badges on 32-bit platforms, the high 4 bits are ignored."/>