#include <linux/cpumask.h>
#include <linux/export.h>
#include <linux/acpi.h>
#include <asm/jailhouse_para.h>
#include <asm/apic.h>
#include "local.h"
static struct apic apic_physflat;
static struct apic apic_flat;
struct apic *apic __ro_after_init = …;
EXPORT_SYMBOL_GPL(…);
static int flat_acpi_madt_oem_check(char *oem_id, char *oem_table_id)
{ … }
static void _flat_send_IPI_mask(unsigned long mask, int vector)
{ … }
static void flat_send_IPI_mask(const struct cpumask *cpumask, int vector)
{ … }
static void
flat_send_IPI_mask_allbutself(const struct cpumask *cpumask, int vector)
{ … }
static u32 flat_get_apic_id(u32 x)
{ … }
static int flat_probe(void)
{ … }
static struct apic apic_flat __ro_after_init = …;
static int physflat_acpi_madt_oem_check(char *oem_id, char *oem_table_id)
{ … }
static int physflat_probe(void)
{ … }
static struct apic apic_physflat __ro_after_init = …;
apic_drivers(apic_physflat, apic_flat);