UFFDIO_MOVE_MODE_DONTWAKE
UFFDIO_MOVE_MODE_DONTWAKE))
if (!(uffdio_move.mode & UFFDIO_MOVE_MODE_DONTWAKE)) {