_UFFDIO_ZEROPAGE

Constant _UFFDIO_ZEROPAGE 

Source
pub const _UFFDIO_ZEROPAGE: u32 = 4;