#include <asm/apic.h>
#include <asm/boot.h>
#include <asm/desc.h>
#include <asm/i8259.h>
#include <asm/mshyperv.h>
#include <asm/realmode.h>
#include <../kernel/smpboot.h>
extern struct boot_params boot_params;
static struct real_mode_header hv_vtl_real_mode_header;
static bool __init hv_vtl_msi_ext_dest_id(void)
{ … }
void __init hv_vtl_init_platform(void)
{ … }
static inline u64 hv_vtl_system_desc_base(struct ldttss_desc *desc)
{ … }
static inline u32 hv_vtl_system_desc_limit(struct ldttss_desc *desc)
{ … }
secondary_startup_64_fn;
static void hv_vtl_ap_entry(void)
{ … }
static int hv_vtl_bringup_vcpu(u32 target_vp_index, int cpu, u64 eip_ignored)
{ … }
static int hv_vtl_apicid_to_vp_id(u32 apic_id)
{ … }
static int hv_vtl_wakeup_secondary_cpu(u32 apicid, unsigned long start_eip)
{ … }
int __init hv_vtl_early_init(void)
{ … }