Constant UFFDIO_REGISTER 

pub const UFFDIO_REGISTER: u32 = 3223366144;