RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

fix autoref whitespace errors

Browse Source 
Signed-off-by: Birgit Brecknell <bbrcknl@gmail.com>
This commit is contained in:
Birgit Brecknell
2024-03-22 10:28:58 +11:00
committed by Indan Zupancic
parent 43690234f1
commit 0d799c3706
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
libsel4/arch_include/arm/interfaces/sel4arch.xml
View File

@@ -151,12 +151,12 @@
description="Virtual address to map the page into."/>
<param dir="in" name="rights" type="seL4_CapRights_t">
<description>
Rights for the mapping.<docref>Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
Rights for the mapping.<docref> Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
</description>
</param>
<param dir="in" name="attr" type="seL4_ARM_VMAttributes">
<description>
VM Attributes for the mapping.<docref>Possible values for this type are given in <autoref label="ch:vspace"/> .</docref>
VM Attributes for the mapping.<docref> Possible values for this type are given in <autoref label="ch:vspace"/> .</docref>
</description>
</param>
<error name="seL4_AlignmentError">
@@ -223,7 +223,7 @@
<param dir="in" name="iospace" type="seL4_ARM_IOSpace" description="The IOSpace to map the page into."/>
<param dir="in" name="rights" type="seL4_CapRights_t">
<description>
Rights for the mapping.<docref>Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
Rights for the mapping.<docref> Possible values for this type are given in <autoref label="sec:cap_rights"/> .</docref>
</description>
</param>
<param dir="in" name="ioaddr" type="seL4_Word" description="Virtual address at which to map page."/>