banshee_wait_idle  343 drivers/video/fbdev/tdfxfb.c 	banshee_wait_idle(info);
banshee_wait_idle  400 drivers/video/fbdev/tdfxfb.c 	banshee_wait_idle(info);
banshee_wait_idle 1151 drivers/video/fbdev/tdfxfb.c 	.fb_sync	= banshee_wait_idle,