ipxe/src/arch/x86/drivers/hyperv/hyperv.h

#ifndef _HYPERV_H
#define _HYPERV_H

/** @file
 *
 * Hyper-V driver
 *
 */

FILE_LICENCE ( GPL2_OR_LATER );

/** Get vendor identification */
#define HV_CPUID_VENDOR_ID 0x40000000UL

/** Get interface identification */
#define HV_CPUID_INTERFACE_ID 0x40000001UL

/** Get hypervisor identification */
#define HV_CPUID_HYPERVISOR_ID 0x40000002UL

/** Guest OS identity MSR */
#define HV_X64_MSR_GUEST_OS_ID 0x40000000UL

/** Hypercall page MSR */
#define HV_X64_MSR_HYPERCALL 0x40000001UL

/** SynIC control MSR */
#define HV_X64_MSR_SCONTROL 0x40000080UL

/** SynIC event flags page MSR */
#define HV_X64_MSR_SIEFP 0x40000082UL

/** SynIC message page MSR */
#define HV_X64_MSR_SIMP 0x40000083UL

/** SynIC end of message MSR */
#define HV_X64_MSR_EOM 0x40000084UL

/** SynIC interrupt source MSRs */
#define HV_X64_MSR_SINT(x) ( 0x40000090UL + (x) )

#endif /* _HYPERV_H */