The text 047158f14ed2, as Debian 13 (Trixie) shipped it.
resolve a minor page fault
UFFDIO_CONTINUE(2const) on Linux now
