No subject

  http://e-tobi.net/websvn/filedetails.php?repname=vdr-pkg&path=%2Fvdr%2Fbranches%2Fdevel%2Fdebian%2Fpatches%2F99_dvb-header-fixes.dpatch

posted earlier in this thread I found that this

--- dvbdevice.h 2009/05/08 13:33:46     2.5
+++ dvbdevice.h 2009/06/01 11:20:32
@@ -10,6 +10,7 @@
 #ifndef __DVBDEVICE_H
 #define __DVBDEVICE_H

+#include <sys/mman.h> // FIXME: workaround for broken linux-dvb header files
 #include <linux/dvb/frontend.h>
 #include <linux/dvb/version.h>
 #include "device.h"


alone fixes the problem (tested with the latest driver from http://linuxtv.org/hg/v4l-dvb).

Klaus