Constant _UFFDIO_UNREGISTER 

pub const _UFFDIO_UNREGISTER: u32 = 1;