iPXE
hyperv.h
Go to the documentation of this file.
1#ifndef _HYPERV_H
2#define _HYPERV_H
3
4/** @file
5 *
6 * Hyper-V driver
7 *
8 */
9
10FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11
12/** Get vendor identification */
13#define HV_CPUID_VENDOR_ID 0x40000000UL
14
15/** Get interface identification */
16#define HV_CPUID_INTERFACE_ID 0x40000001UL
17
18/** Get hypervisor identification */
19#define HV_CPUID_HYPERVISOR_ID 0x40000002UL
20
21/** Get hypervisor features */
22#define HV_CPUID_FEATURES 0x40000003UL
23
24/** Time reference counter MSR is available */
25#define HV_FEATURES_AVAIL_TIME_REF_COUNT_MSR 0x00000002UL
26
27/** SynIC MSRs are available */
28#define HV_FEATURES_AVAIL_SYNIC_MSR 0x00000004UL
29
30/** Hypercall MSRs are available */
31#define HV_FEATURES_AVAIL_HYPERCALL_MSR 0x00000020UL
32
33/** Guest may post messages */
34#define HV_FEATURES_PERM_POST_MESSAGES 0x00000010UL
35
36/** Guest may signal events */
37#define HV_FEATURES_PERM_SIGNAL_EVENTS 0x00000020UL
38
39/** Guest OS identity MSR */
40#define HV_X64_MSR_GUEST_OS_ID 0x40000000UL
41
42/** Hypercall page MSR */
43#define HV_X64_MSR_HYPERCALL 0x40000001UL
44
45/** Time reference MSR */
46#define HV_X64_MSR_TIME_REF_COUNT 0x40000020UL
47
48/** SynIC control MSR */
49#define HV_X64_MSR_SCONTROL 0x40000080UL
50
51/** SynIC event flags page MSR */
52#define HV_X64_MSR_SIEFP 0x40000082UL
53
54/** SynIC message page MSR */
55#define HV_X64_MSR_SIMP 0x40000083UL
56
57/** SynIC end of message MSR */
58#define HV_X64_MSR_EOM 0x40000084UL
59
60/** SynIC interrupt source MSRs */
61#define HV_X64_MSR_SINT(x) ( 0x40000090UL + (x) )
62
63#endif /* _HYPERV_H */
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896