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