Constant PCCARD_DEVICE_PCI 

pub const PCCARD_DEVICE_PCI: u32 = 16u32;