From 21de343ac50f0fd4448f706d28abf74f56f8bbfc Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Wed, 31 Jan 2024 12:37:23 +0100 Subject: fix doc build --- doc/mach.texi | 1 + 1 file changed, 1 insertion(+) 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 -- cgit v1.2.3