On Mon, Jul 11, 2016 at 04:03:08PM +0200, Miroslav Benes wrote: > On Mon, 27 Jun 2016, Torsten Duwe wrote: > > + > > +#ifdef CONFIG_LIVEPATCH > > A nit but we removed such guards in the other header files. I just notice this has fallen between the cracks :-/ Torsten