diff options
Diffstat (limited to 'Documentation/admin-guide/mm/userfaultfd.rst')
-rw-r--r-- | Documentation/admin-guide/mm/userfaultfd.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/admin-guide/mm/userfaultfd.rst b/Documentation/admin-guide/mm/userfaultfd.rst index 740d111faf1c..0bf49d7313ad 100644 --- a/Documentation/admin-guide/mm/userfaultfd.rst +++ b/Documentation/admin-guide/mm/userfaultfd.rst @@ -79,7 +79,7 @@ or shared memory need to set the corresponding flag in If the userland desires to receive notifications for events other than page faults, it has to verify that ``uffdio_api.features`` has appropriate ``UFFD_FEATURE_EVENT_*`` bits set. These events are described in more -detail below in "Non-cooperative userfaultfd" section. +detail below in `Non-cooperative userfaultfd`_ section. Once the ``userfaultfd`` has been enabled the ``UFFDIO_REGISTER`` ioctl should be invoked (if present in the returned ``uffdio_api.ioctls`` bitmask) to |