1c865f654SCornelia Huck #ifndef X86_HYPERV_H 2c865f654SCornelia Huck #define X86_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 13b9f6c977SRoman Kagan #define HV_X64_MSR_GUEST_OS_ID 0x40000000 14b9f6c977SRoman Kagan #define HV_X64_MSR_HYPERCALL 0x40000001 15b9f6c977SRoman Kagan 1669d4bf75SAndrey Smetanin #define HV_X64_MSR_TIME_REF_COUNT 0x40000020 17907ce0f7SPaolo Bonzini #define HV_X64_MSR_REFERENCE_TSC 0x40000021 1898fb3357SAndrey Smetanin 1998fb3357SAndrey Smetanin /* Define synthetic interrupt controller model specific registers. */ 2098fb3357SAndrey Smetanin #define HV_X64_MSR_SCONTROL 0x40000080 2198fb3357SAndrey Smetanin #define HV_X64_MSR_SVERSION 0x40000081 2298fb3357SAndrey Smetanin #define HV_X64_MSR_SIEFP 0x40000082 2398fb3357SAndrey Smetanin #define HV_X64_MSR_SIMP 0x40000083 2498fb3357SAndrey Smetanin #define HV_X64_MSR_EOM 0x40000084 2598fb3357SAndrey Smetanin #define HV_X64_MSR_SINT0 0x40000090 2698fb3357SAndrey Smetanin #define HV_X64_MSR_SINT1 0x40000091 2798fb3357SAndrey Smetanin #define HV_X64_MSR_SINT2 0x40000092 2898fb3357SAndrey Smetanin #define HV_X64_MSR_SINT3 0x40000093 2998fb3357SAndrey Smetanin #define HV_X64_MSR_SINT4 0x40000094 3098fb3357SAndrey Smetanin #define HV_X64_MSR_SINT5 0x40000095 3198fb3357SAndrey Smetanin #define HV_X64_MSR_SINT6 0x40000096 3298fb3357SAndrey Smetanin #define HV_X64_MSR_SINT7 0x40000097 3398fb3357SAndrey Smetanin #define HV_X64_MSR_SINT8 0x40000098 3498fb3357SAndrey Smetanin #define HV_X64_MSR_SINT9 0x40000099 3598fb3357SAndrey Smetanin #define HV_X64_MSR_SINT10 0x4000009A 3698fb3357SAndrey Smetanin #define HV_X64_MSR_SINT11 0x4000009B 3798fb3357SAndrey Smetanin #define HV_X64_MSR_SINT12 0x4000009C 3898fb3357SAndrey Smetanin #define HV_X64_MSR_SINT13 0x4000009D 3998fb3357SAndrey Smetanin #define HV_X64_MSR_SINT14 0x4000009E 4098fb3357SAndrey Smetanin #define HV_X64_MSR_SINT15 0x4000009F 4198fb3357SAndrey Smetanin 4269d4bf75SAndrey Smetanin /* 4369d4bf75SAndrey Smetanin * Synthetic Timer MSRs. Four timers per vcpu. 4469d4bf75SAndrey Smetanin */ 4569d4bf75SAndrey Smetanin 4669d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER0_CONFIG 0x400000B0 4769d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER0_COUNT 0x400000B1 4869d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER1_CONFIG 0x400000B2 4969d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER1_COUNT 0x400000B3 5069d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER2_CONFIG 0x400000B4 5169d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER2_COUNT 0x400000B5 5269d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER3_CONFIG 0x400000B6 5369d4bf75SAndrey Smetanin #define HV_X64_MSR_STIMER3_COUNT 0x400000B7 5469d4bf75SAndrey Smetanin 5598fb3357SAndrey Smetanin #define HV_SYNIC_CONTROL_ENABLE (1ULL << 0) 5698fb3357SAndrey Smetanin #define HV_SYNIC_SIMP_ENABLE (1ULL << 0) 5798fb3357SAndrey Smetanin #define HV_SYNIC_SIEFP_ENABLE (1ULL << 0) 5898fb3357SAndrey Smetanin #define HV_SYNIC_SINT_MASKED (1ULL << 16) 5998fb3357SAndrey Smetanin #define HV_SYNIC_SINT_AUTO_EOI (1ULL << 17) 6098fb3357SAndrey Smetanin #define HV_SYNIC_SINT_VECTOR_MASK (0xFF) 6198fb3357SAndrey Smetanin #define HV_SYNIC_SINT_COUNT 16 6298fb3357SAndrey Smetanin 6369d4bf75SAndrey Smetanin #define HV_STIMER_ENABLE (1ULL << 0) 6469d4bf75SAndrey Smetanin #define HV_STIMER_PERIODIC (1ULL << 1) 6569d4bf75SAndrey Smetanin #define HV_STIMER_LAZY (1ULL << 2) 6669d4bf75SAndrey Smetanin #define HV_STIMER_AUTOENABLE (1ULL << 3) 6769d4bf75SAndrey Smetanin #define HV_STIMER_SINT(config) (__u8)(((config) >> 16) & 0x0F) 6869d4bf75SAndrey Smetanin 6969d4bf75SAndrey Smetanin #define HV_SYNIC_STIMER_COUNT (4) 7069d4bf75SAndrey Smetanin 7169d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message constants. */ 7269d4bf75SAndrey Smetanin #define HV_MESSAGE_SIZE (256) 7369d4bf75SAndrey Smetanin #define HV_MESSAGE_PAYLOAD_BYTE_COUNT (240) 7469d4bf75SAndrey Smetanin #define HV_MESSAGE_PAYLOAD_QWORD_COUNT (30) 7569d4bf75SAndrey Smetanin 7669d4bf75SAndrey Smetanin /* Define hypervisor message types. */ 7769d4bf75SAndrey Smetanin enum hv_message_type { 7869d4bf75SAndrey Smetanin HVMSG_NONE = 0x00000000, 7969d4bf75SAndrey Smetanin 8069d4bf75SAndrey Smetanin /* Memory access messages. */ 8169d4bf75SAndrey Smetanin HVMSG_UNMAPPED_GPA = 0x80000000, 8269d4bf75SAndrey Smetanin HVMSG_GPA_INTERCEPT = 0x80000001, 8369d4bf75SAndrey Smetanin 8469d4bf75SAndrey Smetanin /* Timer notification messages. */ 8569d4bf75SAndrey Smetanin HVMSG_TIMER_EXPIRED = 0x80000010, 8669d4bf75SAndrey Smetanin 8769d4bf75SAndrey Smetanin /* Error messages. */ 8869d4bf75SAndrey Smetanin HVMSG_INVALID_VP_REGISTER_VALUE = 0x80000020, 8969d4bf75SAndrey Smetanin HVMSG_UNRECOVERABLE_EXCEPTION = 0x80000021, 9069d4bf75SAndrey Smetanin HVMSG_UNSUPPORTED_FEATURE = 0x80000022, 9169d4bf75SAndrey Smetanin 9269d4bf75SAndrey Smetanin /* Trace buffer complete messages. */ 9369d4bf75SAndrey Smetanin HVMSG_EVENTLOG_BUFFERCOMPLETE = 0x80000040, 9469d4bf75SAndrey Smetanin 9569d4bf75SAndrey Smetanin /* Platform-specific processor intercept messages. */ 9669d4bf75SAndrey Smetanin HVMSG_X64_IOPORT_INTERCEPT = 0x80010000, 9769d4bf75SAndrey Smetanin HVMSG_X64_MSR_INTERCEPT = 0x80010001, 9869d4bf75SAndrey Smetanin HVMSG_X64_CPUID_INTERCEPT = 0x80010002, 9969d4bf75SAndrey Smetanin HVMSG_X64_EXCEPTION_INTERCEPT = 0x80010003, 10069d4bf75SAndrey Smetanin HVMSG_X64_APIC_EOI = 0x80010004, 10169d4bf75SAndrey Smetanin HVMSG_X64_LEGACY_FP_ERROR = 0x80010005 10269d4bf75SAndrey Smetanin }; 10369d4bf75SAndrey Smetanin 10469d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message flags. */ 10569d4bf75SAndrey Smetanin union hv_message_flags { 10669d4bf75SAndrey Smetanin uint8_t asu8; 10769d4bf75SAndrey Smetanin struct { 10869d4bf75SAndrey Smetanin uint8_t msg_pending:1; 10969d4bf75SAndrey Smetanin uint8_t reserved:7; 11069d4bf75SAndrey Smetanin }; 11169d4bf75SAndrey Smetanin }; 11269d4bf75SAndrey Smetanin 11369d4bf75SAndrey Smetanin union hv_port_id { 11469d4bf75SAndrey Smetanin uint32_t asu32; 11569d4bf75SAndrey Smetanin struct { 11669d4bf75SAndrey Smetanin uint32_t id:24; 11769d4bf75SAndrey Smetanin uint32_t reserved:8; 11869d4bf75SAndrey Smetanin } u; 11969d4bf75SAndrey Smetanin }; 12069d4bf75SAndrey Smetanin 12169d4bf75SAndrey Smetanin /* Define port type. */ 12269d4bf75SAndrey Smetanin enum hv_port_type { 12369d4bf75SAndrey Smetanin HVPORT_MSG = 1, 12469d4bf75SAndrey Smetanin HVPORT_EVENT = 2, 12569d4bf75SAndrey Smetanin HVPORT_MONITOR = 3 12669d4bf75SAndrey Smetanin }; 12769d4bf75SAndrey Smetanin 12869d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message header. */ 12969d4bf75SAndrey Smetanin struct hv_message_header { 13069d4bf75SAndrey Smetanin uint32_t message_type; 13169d4bf75SAndrey Smetanin uint8_t payload_size; 13269d4bf75SAndrey Smetanin union hv_message_flags message_flags; 13369d4bf75SAndrey Smetanin uint8_t reserved[2]; 13469d4bf75SAndrey Smetanin union { 13569d4bf75SAndrey Smetanin uint64_t sender; 13669d4bf75SAndrey Smetanin union hv_port_id port; 13769d4bf75SAndrey Smetanin }; 13869d4bf75SAndrey Smetanin }; 13969d4bf75SAndrey Smetanin 14069d4bf75SAndrey Smetanin /* Define timer message payload structure. */ 14169d4bf75SAndrey Smetanin struct hv_timer_message_payload { 14269d4bf75SAndrey Smetanin uint32_t timer_index; 14369d4bf75SAndrey Smetanin uint32_t reserved; 14469d4bf75SAndrey Smetanin uint64_t expiration_time; /* When the timer expired */ 14569d4bf75SAndrey Smetanin uint64_t delivery_time; /* When the message was delivered */ 14669d4bf75SAndrey Smetanin }; 14769d4bf75SAndrey Smetanin 14869d4bf75SAndrey Smetanin /* Define synthetic interrupt controller message format. */ 14969d4bf75SAndrey Smetanin struct hv_message { 15069d4bf75SAndrey Smetanin struct hv_message_header header; 15169d4bf75SAndrey Smetanin union { 15269d4bf75SAndrey Smetanin uint64_t payload[HV_MESSAGE_PAYLOAD_QWORD_COUNT]; 15369d4bf75SAndrey Smetanin } u; 15469d4bf75SAndrey Smetanin }; 15569d4bf75SAndrey Smetanin 15669d4bf75SAndrey Smetanin /* Define the synthetic interrupt message page layout. */ 15769d4bf75SAndrey Smetanin struct hv_message_page { 15869d4bf75SAndrey Smetanin struct hv_message sint_message[HV_SYNIC_SINT_COUNT]; 15969d4bf75SAndrey Smetanin }; 16069d4bf75SAndrey Smetanin 161b9f6c977SRoman Kagan #define HV_EVENT_FLAGS_COUNT (256 * 8) 162b9f6c977SRoman Kagan 163b9f6c977SRoman Kagan struct hv_event_flags { 164b9f6c977SRoman Kagan ulong flags[HV_EVENT_FLAGS_COUNT / (8 * sizeof(ulong))]; 165b9f6c977SRoman Kagan }; 166b9f6c977SRoman Kagan 167b9f6c977SRoman Kagan struct hv_event_flags_page { 168b9f6c977SRoman Kagan struct hv_event_flags slot[HV_SYNIC_SINT_COUNT]; 169b9f6c977SRoman Kagan }; 170b9f6c977SRoman Kagan 171b9f6c977SRoman Kagan #define HV_X64_MSR_HYPERCALL_ENABLE 0x1 172b9f6c977SRoman Kagan 173b9f6c977SRoman Kagan #define HV_HYPERCALL_FAST (1u << 16) 174b9f6c977SRoman Kagan 175b9f6c977SRoman Kagan #define HVCALL_POST_MESSAGE 0x5c 176b9f6c977SRoman Kagan #define HVCALL_SIGNAL_EVENT 0x5d 177b9f6c977SRoman Kagan 178b9f6c977SRoman Kagan struct hv_input_post_message { 179b9f6c977SRoman Kagan u32 connectionid; 180b9f6c977SRoman Kagan u32 reserved; 181b9f6c977SRoman Kagan u32 message_type; 182b9f6c977SRoman Kagan u32 payload_size; 183b9f6c977SRoman Kagan u64 payload[HV_MESSAGE_PAYLOAD_QWORD_COUNT]; 184b9f6c977SRoman Kagan }; 185b9f6c977SRoman Kagan 18698fb3357SAndrey Smetanin static inline bool synic_supported(void) 18798fb3357SAndrey Smetanin { 18898fb3357SAndrey Smetanin return cpuid(HYPERV_CPUID_FEATURES).a & HV_X64_MSR_SYNIC_AVAILABLE; 18998fb3357SAndrey Smetanin } 19098fb3357SAndrey Smetanin 19169d4bf75SAndrey Smetanin static inline bool stimer_supported(void) 19269d4bf75SAndrey Smetanin { 193*ac3ef494SMetin Kaya return cpuid(HYPERV_CPUID_FEATURES).a & HV_X64_MSR_SYNTIMER_AVAILABLE; 19469d4bf75SAndrey Smetanin } 19569d4bf75SAndrey Smetanin 19669d4bf75SAndrey Smetanin static inline bool hv_time_ref_counter_supported(void) 19769d4bf75SAndrey Smetanin { 19869d4bf75SAndrey Smetanin return cpuid(HYPERV_CPUID_FEATURES).a & HV_X64_MSR_TIME_REF_COUNT_AVAILABLE; 19969d4bf75SAndrey Smetanin } 20069d4bf75SAndrey Smetanin 201d2c248afSRoman Kagan void synic_sint_create(u8 sint, u8 vec, bool auto_eoi); 202d2c248afSRoman Kagan void synic_sint_set(u8 vcpu, u8 sint); 203d2c248afSRoman Kagan void synic_sint_destroy(u8 sint); 204faf6f82fSRoman Kagan void msg_conn_create(u8 sint, u8 vec, u8 conn_id); 205faf6f82fSRoman Kagan void msg_conn_destroy(u8 sint, u8 conn_id); 206faf6f82fSRoman Kagan void evt_conn_create(u8 sint, u8 vec, u8 conn_id); 207faf6f82fSRoman Kagan void evt_conn_destroy(u8 sint, u8 conn_id); 20898fb3357SAndrey Smetanin 209907ce0f7SPaolo Bonzini struct hv_reference_tsc_page { 210907ce0f7SPaolo Bonzini uint32_t tsc_sequence; 211907ce0f7SPaolo Bonzini uint32_t res1; 212907ce0f7SPaolo Bonzini uint64_t tsc_scale; 213907ce0f7SPaolo Bonzini int64_t tsc_offset; 214907ce0f7SPaolo Bonzini }; 215907ce0f7SPaolo Bonzini 216907ce0f7SPaolo Bonzini 21798fb3357SAndrey Smetanin #endif 218