Constant UFFDIO_UNREGISTER 

pub const UFFDIO_UNREGISTER: __u32 = 2148575745;