On Mon, May 08, 2023 at 03:00:09PM +0200, Juergen Gross wrote:> I think you want to delete this^ prototype, too.Done.Thx.-- Regards/Gruss, Boris.https://people.kernel.org/tglx/notes-about-netiquette