each PCI card device has unique ID. update the PCI IDs database.
List PCI devices and find the module (linux driver) name that needs to be used.
e.g. 05:00.0 Multimedia controller: Philips Semiconductors SAA7133/SAA7135
Video Broadcast Decoder (rev d1)
Ascertain whether linux kernel has loaded the module.
# dmesg | grep <modulename>
e.g. <modulename> would be SAA7133 or SAA7135 for the above example.
Then ... post the output of the above commands please.
install and run tvtime
apt-get install tvtime