Constant MM_IBM_PCMCIA_AUX 

pub const MM_IBM_PCMCIA_AUX: u32 = 16u32;