Constant PCMCIA_OPT_HAVE_SOCKET 

pub const PCMCIA_OPT_HAVE_SOCKET: i32 = 1i32;