Re: [PATCH 0/2] x86/xen: don't return from xen_pv_play_dead()

[Boris Ostrovsky]

On 1/16/23 2:49 AM, Juergen Gross wrote:
> On 25.11.22 07:32, Juergen Gross wrote:
> > All play_dead() functions but xen_pv_play_dead() don't return to the
> > caller.
> >
> > Adapt xen_pv_play_dead() to behave like the other play_dead() variants.
> >
> > Juergen Gross (2):
> >    x86/xen: don't let xen_pv_play_dead() return
> >    x86/xen: mark xen_pv_play_dead() as __noreturn
> >
> >   arch/x86/xen/smp.h      |  2 ++
> >   arch/x86/xen/smp_pv.c   | 17 ++++-------------
> >   arch/x86/xen/xen-head.S |  7 +++++++
> >   tools/objtool/check.c   |  1 +
> >   4 files changed, 14 insertions(+), 13 deletions(-)
>
> Ping?

Reviewed-by: Boris Ostrovsky <boris.ostrovsky@xxxxxxxxxx>