Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
x86/xen: mark xen_pv_play_dead() as __noreturn
Mark xen_pv_play_dead() and related to that xen_cpu_bringup_again()
as "__noreturn".
Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Acked-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Link: https://lore.kernel.org/r/20221125063248.30256-3-jgross@suse.com
Signed-off-by: Juergen Gross <jgross@suse.com>
+4
-3
+1
-1
arch/x86/xen/smp.h
+1
-1
arch/x86/xen/smp.h
···
21
21
void xen_smp_send_call_function_ipi(const struct cpumask *mask);
22
22
void xen_smp_send_call_function_single_ipi(int cpu);
23
23
24
-
void xen_cpu_bringup_again(unsigned long stack);
24
+
void __noreturn xen_cpu_bringup_again(unsigned long stack);
25
25
26
26
struct xen_common_irq {
27
27
int irq;
+2
-2
arch/x86/xen/smp_pv.c
+2
-2
arch/x86/xen/smp_pv.c
···
381
381
}
382
382
}
383
383
384
-
static void xen_pv_play_dead(void) /* used only with HOTPLUG_CPU */
384
+
static void __noreturn xen_pv_play_dead(void) /* used only with HOTPLUG_CPU */
385
385
{
386
386
play_dead_common();
387
387
HYPERVISOR_vcpu_op(VCPUOP_down, xen_vcpu_nr(smp_processor_id()), NULL);
···
400
400
BUG();
401
401
}
402
402
403
-
static void xen_pv_play_dead(void)
403
+
static void __noreturn xen_pv_play_dead(void)
404
404
{
405
405
BUG();
406
406
}