ERROR: "__divdf3" [drivers/media/dvb/frontends/atbm8830.ko] undefined! ERROR: "__adddf3" [drivers/media/dvb/frontends/atbm8830.ko] undefined! ERROR: "__fixunsdfsi" [drivers/media/dvb/frontends/atbm8830.ko] undefined! ERROR: "__udivdi3" [drivers/media/dvb/frontends/atbm8830.ko] undefined! ERROR: "__floatsidf" [drivers/media/dvb/frontends/atbm8830.ko] undefined! ERROR: "__muldf3" [drivers/media/dvb/frontends/atbm8830.ko] undefined! ERROR: "__adddf3" [drivers/media/common/tuners/max2165.ko] undefined! ERROR: "__fixunsdfsi" [drivers/media/common/tuners/max2165.ko] undefined! ERROR: "__floatsidf" [drivers/media/common/tuners/max2165.ko] undefined! would be nice to get that fixed up before merging. -- To unsubscribe from this list: send the line "unsubscribe linux-media" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html