Constant devices::irqchip::pic::PIC_SECONDARY_ELCR

const PIC_SECONDARY_ELCR: u64 = 0x4d1;