On Thu, 21 Jan 2016, Daniel Lezcano wrote:

Just to be sure, do you suggest to put the function declaration in
kernel/irq/internal.h and the function definition in kernel/sched/idle-sched.c
?

Well obviously the declarations and stub functions should be in a header which
is accessible for both.