Constant PCMCIA_DEF_MEMLEN 

pub const PCMCIA_DEF_MEMLEN: u32 = 4096u32;