Constant X86_64_IRQ_BASE

pub const X86_64_IRQ_BASE: u32 = 9;