Constant _UFFDIO_API 

pub const _UFFDIO_API: u32 = 63;