hermit::x86_64::kernel::irq
#[no_mangle] pub extern "C" fn irq_install_handler(irq_number: u32, handler: usize)