10
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
12
/** Get vendor identification */
13
#define HV_CPUID_VENDOR_ID 0x40000000UL
15
/** Get interface identification */
16
#define HV_CPUID_INTERFACE_ID 0x40000001UL
18
/** Get hypervisor identification */
19
#define HV_CPUID_HYPERVISOR_ID 0x40000002UL
21
/** Get hypervisor features */
22
#define HV_CPUID_FEATURES 0x40000003UL
24
/** SynIC MSRs are available */
25
#define HV_FEATURES_AVAIL_SYNIC_MSR 0x00000004UL
27
/** Hypercall MSRs are available */
28
#define HV_FEATURES_AVAIL_HYPERCALL_MSR 0x00000020UL
30
/** Guest may post messages */
31
#define HV_FEATURES_PERM_POST_MESSAGES 0x00000010UL
33
/** Guest may signal events */
34
#define HV_FEATURES_PERM_SIGNAL_EVENTS 0x00000020UL
36
/** Guest OS identity MSR */
37
#define HV_X64_MSR_GUEST_OS_ID 0x40000000UL
39
/** Hypercall page MSR */
40
#define HV_X64_MSR_HYPERCALL 0x40000001UL
42
/** SynIC control MSR */
43
#define HV_X64_MSR_SCONTROL 0x40000080UL
45
/** SynIC event flags page MSR */
46
#define HV_X64_MSR_SIEFP 0x40000082UL
48
/** SynIC message page MSR */
49
#define HV_X64_MSR_SIMP 0x40000083UL
51
/** SynIC end of message MSR */
52
#define HV_X64_MSR_EOM 0x40000084UL
54
/** SynIC interrupt source MSRs */
55
#define HV_X64_MSR_SINT(x) ( 0x40000090UL + (x) )
57
#endif /* _HYPERV_H */