linux/arch/x86/xen/smp_hvm.c

// SPDX-License-Identifier: GPL-2.0
#include <linux/thread_info.h>
#include <asm/smp.h>

#include <xen/events.h>

#include "xen-ops.h"

static void __init xen_hvm_smp_prepare_boot_cpu(void)
{ … }

static void __init xen_hvm_smp_prepare_cpus(unsigned int max_cpus)
{ … }

#ifdef CONFIG_HOTPLUG_CPU
static void xen_hvm_cleanup_dead_cpu(unsigned int cpu)
{ … }
#else
static void xen_hvm_cleanup_dead_cpu(unsigned int cpu)
{
	BUG();
}
#endif

void __init xen_hvm_smp_init(void)
{ … }