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