mid_disable_pipe_event  489 drivers/gpu/drm/gma500/psb_irq.c 	mid_disable_pipe_event(dev_priv, 0);
mid_disable_pipe_event  603 drivers/gpu/drm/gma500/psb_irq.c 	mid_disable_pipe_event(dev_priv, pipe);