Constant userfaultfd_sys::_UFFDIO_ZEROPAGE[−][src]

pub const _UFFDIO_ZEROPAGE: u64 = 4;