fn handle_irq_tube_request(
sys_allocator_mutex: &Arc<Mutex<SystemAllocator>>,
irq_chip: &mut Box<dyn IrqChipArch + 'static>,
vm_irq_tubes_to_remove: &mut Vec<usize>,
wait_ctx: &WaitContext<IrqHandlerToken>,
tube: &Tube,
tube_index: usize
)