Constant UFFD_API_RANGE_IOCTLS_BASIC 

pub const UFFD_API_RANGE_IOCTLS_BASIC: u64 = 0;