On 28.07.2022 18:21, Xenia Ragiadakou wrote: > --- a/xen/arch/arm/domain.c > +++ b/xen/arch/arm/domain.c > @@ -63,7 +63,7 @@ static void do_idle(void) > rcu_idle_exit(cpu); > } > > -void idle_loop(void) > +static void idle_loop(void)
While you're adding "noreturn" below, shouldn't this one be marked so as well? Preferably with the addition: Reviewed-by: Jan Beulich <[email protected]> Jan
