Constant UFFDIO_API 

pub const UFFDIO_API: __u32 = 3222841919;