mid_pipe_event_handler  184 drivers/gpu/drm/gma500/psb_irq.c 		mid_pipe_event_handler(dev, 0);
mid_pipe_event_handler  187 drivers/gpu/drm/gma500/psb_irq.c 		mid_pipe_event_handler(dev, 1);