diff options
Diffstat (limited to 'share/man/man9/pmap_is_prefaultable.9')
| -rw-r--r-- | share/man/man9/pmap_is_prefaultable.9 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/man/man9/pmap_is_prefaultable.9 b/share/man/man9/pmap_is_prefaultable.9 index 1ea9507c1348..c6f28709b666 100644 --- a/share/man/man9/pmap_is_prefaultable.9 +++ b/share/man/man9/pmap_is_prefaultable.9 @@ -27,6 +27,7 @@ .\" .Dd July 21, 2003 .Dt PMAP_IS_PREFAULTABLE 9 +.Os .Sh NAME .Nm pmap_is_prefaultable .Nd determine if a page may be prefaulted |