xref: /kvm-unit-tests/x86/hyperv.h (revision faf6f82fc7ae3fe72dd0945865ad4f3ed75da7f9)
198fb3357SAndrey Smetanin #ifndef __HYPERV_H
298fb3357SAndrey Smetanin #define __HYPERV_H
398fb3357SAndrey Smetanin 
498fb3357SAndrey Smetanin #include "libcflat.h"
598fb3357SAndrey Smetanin #include "processor.h"
698fb3357SAndrey Smetanin 
798fb3357SAndrey Smetanin #define HYPERV_CPUID_FEATURES                   0x40000003
898fb3357SAndrey Smetanin 
969d4bf75SAndrey Smetanin #define HV_X64_MSR_TIME_REF_COUNT_AVAILABLE     (1 << 1)
1098fb3357SAndrey Smetanin #define HV_X64_MSR_SYNIC_AVAILABLE              (1 << 2)
1169d4bf75SAndrey Smetanin #define HV_X64_MSR_SYNTIMER_AVAILABLE           (1 << 3)
1269d4bf75SAndrey Smetanin 
1369d4bf75SAndrey Smetanin #define HV_X64_MSR_TIME_REF_COUNT               0x40000020
14907ce0f7SPaolo Bonzini #define HV_X64_MSR_REFERENCE_TSC                0x40000021
1598fb3357SAndrey Smetanin 
1698fb3357SAndrey Smetanin /* Define synthetic interrupt controller model specific registers. */
1798fb3357SAndrey Smetanin #define HV_X64_MSR_SCONTROL                     0x40000080
1898fb3357SAndrey Smetanin #define HV_X64_MSR_SVERSION                     0x40000081
1998fb3357SAndrey Smetanin #define HV_X64_MSR_SIEFP                        0x40000082
2098fb3357SAndrey Smetanin #define HV_X64_MSR_SIMP                         0x40000083
2198fb3357SAndrey Smetanin #define HV_X64_MSR_EOM                          0x40000084
2298fb3357SAndrey Smetanin #define HV_X64_MSR_SINT0                        0x40000090
2398fb3357SAndrey Smetanin #define HV_X64_MSR_SINT1                        0x40000091
2498fb3357SAndrey Smetanin #define HV_X64_MSR_SINT2                        0x40000092
2598fb3357SAndrey Smetanin #define HV_X64_MSR_SINT3                        0x40000093
2698fb3357SAndrey Smetanin #define HV_X64_MSR_SINT4                        0x40000094
2798fb3357SAndrey Smetanin #define HV_X64_MSR_SINT5                        0x40000095
2898fb3357SAndrey Smetanin #define HV_X64_MSR_SINT6                        0x40000096
2998fb3357SAndrey Smetanin #define HV_X64_MSR_SINT7                        0x40000097
3098fb3357SAndrey Smetanin #define HV_X64_MSR_SINT8                        0x40000098
3198fb3357SAndrey Smetanin #define HV_X64_MSR_SINT9                        0x40000099
3298fb3357SAndrey Smetanin #define HV_X64_MSR_SINT10                       0x4000009A
3398fb3357SAndrey Smetanin #define HV_X64_MSR_SINT11                       0x4000009B
3498fb3357SAndrey Smetanin #define HV_X64_MSR_SINT12                       0x4000009C
3598fb3357SAndrey Smetanin #define HV_X64_MSR_SINT13                       0x4000009D
3698fb3357SAndrey Smetanin #define HV_X64_MSR_SINT14                       0x4000009E
3798fb3357SAndrey Smetanin #define HV_X64_MSR_SINT15                       0x4000009F
3898fb3357SAndrey Smetanin 
3969d4bf75SAndrey Smetanin /*
4069d4bf75SAndrey Smetanin  * Synthetic Timer MSRs. Four timers per vcpu.
4169d4bf75SAndrey Smetanin  */
4269d4bf75SAndrey Smetanin 
4369d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER0_CONFIG               0x400000B0
4469d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER0_COUNT                0x400000B1
4569d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER1_CONFIG               0x400000B2
4669d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER1_COUNT                0x400000B3
4769d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER2_CONFIG               0x400000B4
4869d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER2_COUNT                0x400000B5
4969d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER3_CONFIG               0x400000B6
5069d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER3_COUNT                0x400000B7
5169d4bf75SAndrey Smetanin 
5298fb3357SAndrey Smetanin #define HV_SYNIC_CONTROL_ENABLE                 (1ULL << 0)
5398fb3357SAndrey Smetanin #define HV_SYNIC_SIMP_ENABLE                    (1ULL << 0)
5498fb3357SAndrey Smetanin #define HV_SYNIC_SIEFP_ENABLE                   (1ULL << 0)
5598fb3357SAndrey Smetanin #define HV_SYNIC_SINT_MASKED                    (1ULL << 16)
5698fb3357SAndrey Smetanin #define HV_SYNIC_SINT_AUTO_EOI                  (1ULL << 17)
5798fb3357SAndrey Smetanin #define HV_SYNIC_SINT_VECTOR_MASK               (0xFF)
5898fb3357SAndrey Smetanin #define HV_SYNIC_SINT_COUNT                     16
5998fb3357SAndrey Smetanin 
6069d4bf75SAndrey Smetanin #define HV_STIMER_ENABLE                (1ULL << 0)
6169d4bf75SAndrey Smetanin #define HV_STIMER_PERIODIC              (1ULL << 1)
6269d4bf75SAndrey Smetanin #define HV_STIMER_LAZY                  (1ULL << 2)
6369d4bf75SAndrey Smetanin #define HV_STIMER_AUTOENABLE            (1ULL << 3)
6469d4bf75SAndrey Smetanin #define HV_STIMER_SINT(config)          (__u8)(((config) >> 16) & 0x0F)
6569d4bf75SAndrey Smetanin 
6669d4bf75SAndrey Smetanin #define HV_SYNIC_STIMER_COUNT           (4)
6769d4bf75SAndrey Smetanin 
6869d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message constants. */
6969d4bf75SAndrey Smetanin #define HV_MESSAGE_SIZE                 (256)
7069d4bf75SAndrey Smetanin #define HV_MESSAGE_PAYLOAD_BYTE_COUNT   (240)
7169d4bf75SAndrey Smetanin #define HV_MESSAGE_PAYLOAD_QWORD_COUNT  (30)
7269d4bf75SAndrey Smetanin 
7369d4bf75SAndrey Smetanin /* Define hypervisor message types. */
7469d4bf75SAndrey Smetanin enum hv_message_type {
7569d4bf75SAndrey Smetanin         HVMSG_NONE                      = 0x00000000,
7669d4bf75SAndrey Smetanin 
7769d4bf75SAndrey Smetanin         /* Memory access messages. */
7869d4bf75SAndrey Smetanin         HVMSG_UNMAPPED_GPA              = 0x80000000,
7969d4bf75SAndrey Smetanin         HVMSG_GPA_INTERCEPT             = 0x80000001,
8069d4bf75SAndrey Smetanin 
8169d4bf75SAndrey Smetanin         /* Timer notification messages. */
8269d4bf75SAndrey Smetanin         HVMSG_TIMER_EXPIRED                     = 0x80000010,
8369d4bf75SAndrey Smetanin 
8469d4bf75SAndrey Smetanin         /* Error messages. */
8569d4bf75SAndrey Smetanin         HVMSG_INVALID_VP_REGISTER_VALUE = 0x80000020,
8669d4bf75SAndrey Smetanin         HVMSG_UNRECOVERABLE_EXCEPTION   = 0x80000021,
8769d4bf75SAndrey Smetanin         HVMSG_UNSUPPORTED_FEATURE               = 0x80000022,
8869d4bf75SAndrey Smetanin 
8969d4bf75SAndrey Smetanin         /* Trace buffer complete messages. */
9069d4bf75SAndrey Smetanin         HVMSG_EVENTLOG_BUFFERCOMPLETE   = 0x80000040,
9169d4bf75SAndrey Smetanin 
9269d4bf75SAndrey Smetanin         /* Platform-specific processor intercept messages. */
9369d4bf75SAndrey Smetanin         HVMSG_X64_IOPORT_INTERCEPT              = 0x80010000,
9469d4bf75SAndrey Smetanin         HVMSG_X64_MSR_INTERCEPT         = 0x80010001,
9569d4bf75SAndrey Smetanin         HVMSG_X64_CPUID_INTERCEPT               = 0x80010002,
9669d4bf75SAndrey Smetanin         HVMSG_X64_EXCEPTION_INTERCEPT   = 0x80010003,
9769d4bf75SAndrey Smetanin         HVMSG_X64_APIC_EOI                      = 0x80010004,
9869d4bf75SAndrey Smetanin         HVMSG_X64_LEGACY_FP_ERROR               = 0x80010005
9969d4bf75SAndrey Smetanin };
10069d4bf75SAndrey Smetanin 
10169d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message flags. */
10269d4bf75SAndrey Smetanin union hv_message_flags {
10369d4bf75SAndrey Smetanin         uint8_t asu8;
10469d4bf75SAndrey Smetanin         struct {
10569d4bf75SAndrey Smetanin                 uint8_t msg_pending:1;
10669d4bf75SAndrey Smetanin                 uint8_t reserved:7;
10769d4bf75SAndrey Smetanin         };
10869d4bf75SAndrey Smetanin };
10969d4bf75SAndrey Smetanin 
11069d4bf75SAndrey Smetanin union hv_port_id {
11169d4bf75SAndrey Smetanin         uint32_t asu32;
11269d4bf75SAndrey Smetanin         struct {
11369d4bf75SAndrey Smetanin                 uint32_t id:24;
11469d4bf75SAndrey Smetanin                 uint32_t reserved:8;
11569d4bf75SAndrey Smetanin         } u;
11669d4bf75SAndrey Smetanin };
11769d4bf75SAndrey Smetanin 
11869d4bf75SAndrey Smetanin /* Define port type. */
11969d4bf75SAndrey Smetanin enum hv_port_type {
12069d4bf75SAndrey Smetanin         HVPORT_MSG      = 1,
12169d4bf75SAndrey Smetanin         HVPORT_EVENT            = 2,
12269d4bf75SAndrey Smetanin         HVPORT_MONITOR  = 3
12369d4bf75SAndrey Smetanin };
12469d4bf75SAndrey Smetanin 
12569d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message header. */
12669d4bf75SAndrey Smetanin struct hv_message_header {
12769d4bf75SAndrey Smetanin         uint32_t message_type;
12869d4bf75SAndrey Smetanin         uint8_t payload_size;
12969d4bf75SAndrey Smetanin         union hv_message_flags message_flags;
13069d4bf75SAndrey Smetanin         uint8_t reserved[2];
13169d4bf75SAndrey Smetanin         union {
13269d4bf75SAndrey Smetanin                 uint64_t sender;
13369d4bf75SAndrey Smetanin                 union hv_port_id port;
13469d4bf75SAndrey Smetanin         };
13569d4bf75SAndrey Smetanin };
13669d4bf75SAndrey Smetanin 
13769d4bf75SAndrey Smetanin /* Define timer message payload structure. */
13869d4bf75SAndrey Smetanin struct hv_timer_message_payload {
13969d4bf75SAndrey Smetanin         uint32_t timer_index;
14069d4bf75SAndrey Smetanin         uint32_t reserved;
14169d4bf75SAndrey Smetanin         uint64_t expiration_time;       /* When the timer expired */
14269d4bf75SAndrey Smetanin         uint64_t delivery_time; /* When the message was delivered */
14369d4bf75SAndrey Smetanin };
14469d4bf75SAndrey Smetanin 
14569d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message format. */
14669d4bf75SAndrey Smetanin struct hv_message {
14769d4bf75SAndrey Smetanin         struct hv_message_header header;
14869d4bf75SAndrey Smetanin         union {
14969d4bf75SAndrey Smetanin                 uint64_t payload[HV_MESSAGE_PAYLOAD_QWORD_COUNT];
15069d4bf75SAndrey Smetanin         } u;
15169d4bf75SAndrey Smetanin };
15269d4bf75SAndrey Smetanin 
15369d4bf75SAndrey Smetanin /* Define the synthetic interrupt message page layout. */
15469d4bf75SAndrey Smetanin struct hv_message_page {
15569d4bf75SAndrey Smetanin         struct hv_message sint_message[HV_SYNIC_SINT_COUNT];
15669d4bf75SAndrey Smetanin };
15769d4bf75SAndrey Smetanin 
15898fb3357SAndrey Smetanin static inline bool synic_supported(void)
15998fb3357SAndrey Smetanin {
16098fb3357SAndrey Smetanin    return cpuid(HYPERV_CPUID_FEATURES).a & HV_X64_MSR_SYNIC_AVAILABLE;
16198fb3357SAndrey Smetanin }
16298fb3357SAndrey Smetanin 
16369d4bf75SAndrey Smetanin static inline bool stimer_supported(void)
16469d4bf75SAndrey Smetanin {
16569d4bf75SAndrey Smetanin     return cpuid(HYPERV_CPUID_FEATURES).a & HV_X64_MSR_SYNIC_AVAILABLE;
16669d4bf75SAndrey Smetanin }
16769d4bf75SAndrey Smetanin 
16869d4bf75SAndrey Smetanin static inline bool hv_time_ref_counter_supported(void)
16969d4bf75SAndrey Smetanin {
17069d4bf75SAndrey Smetanin     return cpuid(HYPERV_CPUID_FEATURES).a & HV_X64_MSR_TIME_REF_COUNT_AVAILABLE;
17169d4bf75SAndrey Smetanin }
17269d4bf75SAndrey Smetanin 
173d2c248afSRoman Kagan void synic_sint_create(u8 sint, u8 vec, bool auto_eoi);
174d2c248afSRoman Kagan void synic_sint_set(u8 vcpu, u8 sint);
175d2c248afSRoman Kagan void synic_sint_destroy(u8 sint);
176*faf6f82fSRoman Kagan void msg_conn_create(u8 sint, u8 vec, u8 conn_id);
177*faf6f82fSRoman Kagan void msg_conn_destroy(u8 sint, u8 conn_id);
178*faf6f82fSRoman Kagan void evt_conn_create(u8 sint, u8 vec, u8 conn_id);
179*faf6f82fSRoman Kagan void evt_conn_destroy(u8 sint, u8 conn_id);
18098fb3357SAndrey Smetanin 
181907ce0f7SPaolo Bonzini struct hv_reference_tsc_page {
182907ce0f7SPaolo Bonzini         uint32_t tsc_sequence;
183907ce0f7SPaolo Bonzini         uint32_t res1;
184907ce0f7SPaolo Bonzini         uint64_t tsc_scale;
185907ce0f7SPaolo Bonzini         int64_t tsc_offset;
186907ce0f7SPaolo Bonzini };
187907ce0f7SPaolo Bonzini 
188907ce0f7SPaolo Bonzini 
18998fb3357SAndrey Smetanin #endif
190