tw5864_video_fini  310 drivers/media/pci/tw5864/tw5864-core.c 	tw5864_video_fini(dev);
tw5864_video_fini  332 drivers/media/pci/tw5864/tw5864-core.c 	tw5864_video_fini(dev);
tw5864_video_fini  188 drivers/media/pci/tw5864/tw5864.h void tw5864_video_fini(struct tw5864_dev *dev);