vmlinux:handle_fasteoi_irq
