#val_type uint64_t
1<<_UFFDIO_WAKE
1<<_UFFDIO_COPY
1<<_UFFDIO_ZEROPAGE
