Constant UFFDIO_REGISTER 

pub const UFFDIO_REGISTER: __u32 = 3223366144;