On Mon, Dec 17, 2012 at 03:50:13AM +0800, Fengguang Wu wrote: > [smatch] > drivers/staging/bcm/CmHost.c:1274 DumpCmControlPacket() debug: remove_pools: nr_children over 4000 (8255). (psfCSType->cCPacketClassificationRule.u8ProtocolDestPortRange s32min-s32max) > drivers/staging/bcm/CmHost.c:1274 DumpCmControlPacket() Function too hairy. Giving up. > drivers/staging/comedi/drivers/ni_mio_cs.c:452 mio_cs_attach() info: why not propagate 'ret' from request_irq() instead of (-22)? > drivers/staging/bcm/CmHost.c:1242 DumpCmControlPacket() debug: remove_pools: nr_children over 4000 (5597). (psfCSType 4096-(-1),4096-s64max,4096-s64max,4096-s64max,4096-s64max,4096-s64max,4096-s64max,4096-s64max,4096-(-1),4096-s64max,4096-s64max,4096-s64max,4096-s64max,4096-s64max,4096-(-1),4096-s64max,4096-s64max,4096-s64max,4096-(-1),4096-s64max,4096-(-1),4096-s64max,) > drivers/video/omap2/dss/dsi.c:1386 dsi_pll_calc_clock_div_pck() debug: sval_binop_unsigned: divide by zero > drivers/video/omap2/dss/dsi.c:1486 dsi_pll_calc_ddrfreq() debug: sval_binop_unsigned: divide by zero I see that you have upgraded to the new version. :) Some of the error messages were already there before but the format changed slightly. Sorry about that. There are a bunch of debug statements here. Ignore them unless they lead to a false positive. Warnings and errors will all have "warn:" or "error:" in the message. I've removed the "debug: could not get condition type" warning. These also weren't sent to the kbuild list so I guess you already you looked at them manually. regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html