linux/arch/x86/kernel/vsmp_64.c

// SPDX-License-Identifier: GPL-2.0-only
/*
 * vSMPowered(tm) systems specific initialization
 * Copyright (C) 2005 ScaleMP Inc.
 *
 * Ravikiran Thirumalai <[email protected]>,
 * Shai Fultheim <[email protected]>
 * Paravirt ops integration: Glauber de Oliveira Costa <[email protected]>,
 *			     Ravikiran Thirumalai <[email protected]>
 */

#include <linux/init.h>
#include <linux/pci_ids.h>
#include <linux/pci_regs.h>
#include <linux/smp.h>
#include <linux/irq.h>

#include <asm/apic.h>
#include <asm/pci-direct.h>
#include <asm/io.h>
#include <asm/paravirt.h>
#include <asm/setup.h>

#define TOPOLOGY_REGISTER_OFFSET …

#ifdef CONFIG_PCI
static void __init set_vsmp_ctl(void)
{ … }
static int is_vsmp = …;

static void __init detect_vsmp_box(void)
{ … }

static int is_vsmp_box(void)
{ … }

#else
static void __init detect_vsmp_box(void)
{
}
static int is_vsmp_box(void)
{
	return 0;
}
static void __init set_vsmp_ctl(void)
{
}
#endif

static void __init vsmp_cap_cpus(void)
{ … }

void __init vsmp_init(void)
{ … }