Re: [tip:sched/fifo 44/45] ERROR: modpost: "sched_setscheduler" undefined!

From: Steven Rostedt
Date: Mon Jul 20 2020 - 18:19:50 EST


On Mon, 20 Jul 2020 23:49:18 +0200
Peter Zijlstra <peterz@xxxxxxxxxxxxx> wrote:

> Steve, would this work for you, or would you prefer renaming the
> parameters as well?
>

Yeah, that's fine. You don't have any sched_fifo_high() ?

Sometimes I see what the numbers are at prio 98.

Not a big deal, as I seldom do that, and I'm probably the only one
doing it. I can live with patching the kernel to do that test.

-- Steve