mga_do_dma_flush 1054 drivers/gpu/drm/mga/mga_dma.c 		mga_do_dma_flush(dev_priv);
mga_do_dma_flush  190 drivers/gpu/drm/mga/mga_drv.h extern void mga_do_dma_flush(drm_mga_private_t *dev_priv);
mga_do_dma_flush  326 drivers/gpu/drm/mga/mga_drv.h 			mga_do_dma_flush(dev_priv);			\