falcon_vbl_switcher 3091 drivers/video/fbdev/atafb.c error = request_irq(IRQ_AUTO_4, falcon_vbl_switcher, 0, falcon_vbl_switcher 3093 drivers/video/fbdev/atafb.c falcon_vbl_switcher);