On Sun, Dec 11, 2005 at 09:12:54PM +0100, Michael Hanke wrote: > On Sun, Dec 11, 2005 at 03:21:23PM +0100, Johannes Stezenbach wrote: > > Out of curiosity, could you try this: > > > > $ nm --print-size --defined-only /lib/modules/`uname -r`/kernel/drivers/media/dvb/ttpci/dvb-ttpci.ko | grep bpp2pal > > 000000e0 00000020 d bpp2pal > > > > ...to check if sizeof(some enum) is 4, as the gcc docs say it should be. > That gives me no output at all! What does that mean? Either Debian builds the driver without CONFIG_DVB_AV7110_OSD (making it useless for most people), or you 32bit nm doesn't work on 64bit kernel objects. Can you find av7110_debug in nm output? > Do you think that simply rebuilding the kernel from the Debian sources resolve the > problem? Seems like there is no way to debug this without you compilng your own kernel. Johannes