On Fri, Jan 15, 2016 at 12:00:00PM +0100, Ingo Molnar wrote: > All of the cases Josh listed involve some sort of special case where we do > something non-standard. (Where 'standard' == 'regular kernel C function'.) My only worry is that next time we have to do something non-standard, we'll have to annotate it as well. bpf_jit case-in-point. OTOH, I guess the generic, tool-agnostic annotation could be a step in the (more-)right direction as we're saying "we're doing something special here, and we're stating that fact with this here annotation." -- Regards/Gruss, Boris. ECO tip #101: Trim your mails when you reply. -- To unsubscribe from this list: send the line "unsubscribe live-patching" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html