Constant linux_raw_sys::bootparam::SETUP_PCI

pub const SETUP_PCI: u32 = 3;