summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2024-01-31 12:37:23 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-01-31 12:37:23 +0100
commit21de343ac50f0fd4448f706d28abf74f56f8bbfc (patch)
treec9a1ff1f989a49279a4825dec7b91278f2dd260a
parent0f9822d2ab9881ebb601b25ab3f381bbb6197b05 (diff)
fix doc build
-rw-r--r--doc/mach.texi1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/mach.texi b/doc/mach.texi
index f35fc6bb..d0f56eca 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -3529,6 +3529,7 @@ Both @var{address} and @var{size} have to be aligned on @code{vm_page_size}.
caller and returned filled with the physical page numbers. @var{pagesCnt} is
supplied as the maximum number of elements in the @var{pages} array. On
return, it contains the actual number of integers in @var{pages}.
+@end deftypefun
@node External Memory Management