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,