diff options
Diffstat (limited to 'share/man/man9/pmap_page_exists_quick.9')
| -rw-r--r-- | share/man/man9/pmap_page_exists_quick.9 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/man/man9/pmap_page_exists_quick.9 b/share/man/man9/pmap_page_exists_quick.9 index fe73792..f0db837 100644 --- a/share/man/man9/pmap_page_exists_quick.9 +++ b/share/man/man9/pmap_page_exists_quick.9 @@ -27,6 +27,7 @@ .\" .Dd July 21, 2003 .Dt PMAP_PAGE_EXISTS_QUICK 9 +.Os .Sh NAME .Nm pmap_page_exists_quick .Nd determine if a page exists in a physical map |
