pub const IRQ_LINE_SET: LineSetId;
Line set for device interrupts connected to the platform interrupt controller.