linux/drivers/xen/xen-acpi-pad.c

// SPDX-License-Identifier: GPL-2.0-only
/*
 * xen-acpi-pad.c - Xen pad interface
 *
 * Copyright (c) 2012, Intel Corporation.
 *    Author: Liu, Jinsong <[email protected]>
 */

#define pr_fmt(fmt) …

#include <linux/kernel.h>
#include <linux/types.h>
#include <linux/acpi.h>
#include <xen/xen.h>
#include <xen/interface/version.h>
#include <xen/xen-ops.h>
#include <asm/xen/hypercall.h>

#define ACPI_PROCESSOR_AGGREGATOR_CLASS …
#define ACPI_PROCESSOR_AGGREGATOR_DEVICE_NAME …
#define ACPI_PROCESSOR_AGGREGATOR_NOTIFY …
static DEFINE_MUTEX(xen_cpu_lock);

static int xen_acpi_pad_idle_cpus(unsigned int idle_nums)
{ … }

static int xen_acpi_pad_idle_cpus_num(void)
{ … }

/*
 * Query firmware how many CPUs should be idle
 * return -1 on failure
 */
static int acpi_pad_pur(acpi_handle handle)
{ … }

static void acpi_pad_handle_notify(acpi_handle handle)
{ … }

static void acpi_pad_notify(acpi_handle handle, u32 event,
	void *data)
{ … }

static int acpi_pad_add(struct acpi_device *device)
{ … }

static void acpi_pad_remove(struct acpi_device *device)
{ … }

static const struct acpi_device_id pad_device_ids[] = …;

static struct acpi_driver acpi_pad_driver = …;

static int __init xen_acpi_pad_init(void)
{ … }
subsys_initcall(xen_acpi_pad_init);