tcx_reset 157 drivers/video/fbdev/tcx.c tcx_reset(info); tcx_reset 455 drivers/video/fbdev/tcx.c tcx_reset(info);