You will have one file installed for your DVB-T dongle, in folder like the one below

/lib/modules/XXXXXXXXX-dm8000/kernel/drivers/media/dvb/dvb-usb
/lib/modules/XXXXXXXXX-dm500hd/kernel/drivers/media/dvb/dvb-usb
/lib/modules/XXXXXXXXX-dm800se/kernel/drivers/media/dvb/dvb-usb
/lib/modules/XXXXXXXXX-dm800/kernel/drivers/media/dvb/dvb-usb

File should be : dvb-usb-a800.ko

It should be loaded and viewable with lsmod on the list "dvb-usb-a800"

TS
_________________________
DM8000, DM800se, DM500HD, DM800HD, DM7025, DM7020s, DM7000, DM500s
VU+ Solo, VU+ Uno, VU+ Duo, Kathrein UFS910
Tivusat, TNTSat, Fransat, SSR/TSR, BBC1-2-3/ITV
DE-OpenBlackHole 1.4 image : http://www.openblackhole.com/