So, I went looking, and it seems the videodev.c would provide those
function calls, and I've had a search through the linux-dvb list without
any trace of it.
I've tracked down a patch for videodev.c (from bytesex.org), applied,
built, installed and now I'm having different problems:
# ./dvb-nebula start
Inserting DVB modules into kernel./dvb-nebula: line 41: 3571
Segmentation fault modprobe bttv
The /var/log/messages snippet is attached.
I ran into the same stuff a few days ago. The problem is that you are
probably compiling the in-kernel stuff (videodev, bttv) and the dvb
stuff against different version of the header file videodev.h