Constant userfaultfd_sys::UFFDIO_UNREGISTER

source · 
pub const UFFDIO_UNREGISTER: u32 = 0x8010aa01;