Constant userfaultfd_sys::UFFDIO_ZEROPAGE

source · 
pub const UFFDIO_ZEROPAGE: u32 = 0xc020aa04;