Symbol: UFFDIO_ZEROPAGE_MODE_DONTWAKE
fs/userfaultfd.c
1692
if (uffdio_zeropage.mode & ~UFFDIO_ZEROPAGE_MODE_DONTWAKE)
fs/userfaultfd.c
1709
if (!(uffdio_zeropage.mode & UFFDIO_ZEROPAGE_MODE_DONTWAKE)) {