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);