pub const _UFFDIO_REGISTER: u32 = 0;