linux/arch/x86/kernel/cpu/acrn.c

// SPDX-License-Identifier: GPL-2.0
/*
 * ACRN detection support
 *
 * Copyright (C) 2019 Intel Corporation. All rights reserved.
 *
 * Jason Chen CJ <[email protected]>
 * Zhao Yakui <[email protected]>
 *
 */

#include <linux/interrupt.h>

#include <asm/acrn.h>
#include <asm/apic.h>
#include <asm/cpufeatures.h>
#include <asm/desc.h>
#include <asm/hypervisor.h>
#include <asm/idtentry.h>
#include <asm/irq_regs.h>

static u32 __init acrn_detect(void)
{ … }

static void __init acrn_init_platform(void)
{ … }

static bool acrn_x2apic_available(void)
{ … }

static void (*acrn_intr_handler)(void);

DEFINE_IDTENTRY_SYSVEC(sysvec_acrn_hv_callback)
{ … }

void acrn_setup_intr_handler(void (*handler)(void))
{ … }
EXPORT_SYMBOL_GPL(…);

void acrn_remove_intr_handler(void)
{ … }
EXPORT_SYMBOL_GPL(…);

const __initconst struct hypervisor_x86 x86_hyper_acrn = …;