Constant IRQ_MAX

Source
pub const IRQ_MAX: u32 = 15;
Expand description

Last usable IRQ ID for virtio device interrupts on x86_64.