On Fri, Nov 19, 2021 at 10:03:26AM +0100, Miroslav Benes wrote: > livepatch's consistency model requires that no live patched function > must be found on any task's stack during a transition process after a > live patch is applied. It is achieved by walking through stacks of all > blocked tasks. > > The user might also want to define more functions to search for without > them being patched at all. It may either help with preparing a live > patch, which would otherwise require additional touches to achieve the > consistency, or it can be used to overcome deficiencies the stack > checking inherently has. For example, GCC may optimize a function so > that a part of it is moved to a different section and the function would > jump to it. This child function would not be found on a stack in this > case, but it may be important to search for it so that, again, the > consistency is achieved. > > Allow the user to specify such functions on klp_object level. Ok, so this relies on the patch generator to DTRT but then it should work. Thanks!
