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

From: Juergen Gross
Date: Fri Nov 25 2022 - 01:35:56 EST


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(-)

--
2.35.3