> > If we keep it 10 times over head, my home computer can load the full linux > kernel and have some spare for checking. > > I am still working on the bytecode loader and linker for merging symbols. > It need to answer the question: > > Which file define which function. > Which external symbol does this function use. > > Once we get the function user/define chain, it can enable a lot of new checking. At least for interrupts on/off you'll likely need new annotations because this state can be changed in assembly files before/after calling out to C. For locks this fortunately cannot happen (at least not on x86*) -Andi - To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
