Constant UFFDIO_REGISTER 

pub const UFFDIO_REGISTER: u32 = 3223366144; // 3_223_366_144u32