pub const _UFFDIO_REGISTER: u64 = 0;