On Tue, 27 Jan 2015 07:19:42 +0100Dominik Vogt <vogt@linux.vnet.ibm.com> wrote:> While the kernel may use only profiling or hotpatch at the same> time, Gcc is able to generate both for the same function.Understood, but would that be useful for the kernel?-- Steve