/usr/src/debug/dvbtune-0.5-31.x86_64 /usr/src/debug/dvbtune-0.5-31.x86_64/dvbtune.c /usr/src/debug/dvbtune-0.5-31.x86_64/tune.c /usr/src/debug/dvbtune-0.5-31.x86_64/xml2vdr.c