2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) Siemens AG, 2013
7 * Jan Kiszka <jan.kiszka@siemens.com>
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
13 #ifndef _JAILHOUSE_ASM_PROCESSOR_H
14 #define _JAILHOUSE_ASM_PROCESSOR_H
16 #include <asm/types.h>
18 #define X86_FEATURE_VMX (1 << 5)
19 #define X86_FEATURE_GBPAGES (1 << 26)
20 #define X86_FEATURE_RDTSCP (1 << 27)
22 #define X86_RFLAGS_VM (1 << 17)
24 #define X86_CR0_PE 0x00000001
25 #define X86_CR0_ET 0x00000010
26 #define X86_CR0_NW 0x20000000
27 #define X86_CR0_CD 0x40000000
28 #define X86_CR0_PG 0x80000000
30 #define X86_CR4_PAE 0x00000020
31 #define X86_CR4_PGE 0x00000080
32 #define X86_CR4_VMXE 0x00002000
34 #define X86_XCR0_FP 0x00000001
36 #define MSR_IA32_APICBASE 0x0000001b
37 #define MSR_IA32_FEATURE_CONTROL 0x0000003a
38 #define MSR_IA32_SYSENTER_CS 0x00000174
39 #define MSR_IA32_SYSENTER_ESP 0x00000175
40 #define MSR_IA32_SYSENTER_EIP 0x00000176
41 #define MSR_IA32_VMX_BASIC 0x00000480
42 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481
43 #define MSR_IA32_VMX_PROCBASED_CTLS 0x00000482
44 #define MSR_IA32_VMX_EXIT_CTLS 0x00000483
45 #define MSR_IA32_VMX_ENTRY_CTLS 0x00000484
46 #define MSR_IA32_VMX_MISC 0x00000485
47 #define MSR_IA32_VMX_CR0_FIXED0 0x00000486
48 #define MSR_IA32_VMX_CR0_FIXED1 0x00000487
49 #define MSR_IA32_VMX_CR4_FIXED0 0x00000488
50 #define MSR_IA32_VMX_CR4_FIXED1 0x00000489
51 #define MSR_IA32_VMX_PROCBASED_CTLS2 0x0000048b
52 #define MSR_IA32_VMX_EPT_VPID_CAP 0x0000048c
53 #define MSR_IA32_VMX_TRUE_PROCBASED_CTLS 0x0000048e
54 #define MSR_X2APIC_BASE 0x00000800
55 #define MSR_X2APIC_ICR 0x00000830
56 #define MSR_X2APIC_END 0x0000083f
57 #define MSR_EFER 0xc0000080
58 #define MSR_FS_BASE 0xc0000100
59 #define MSR_GS_BASE 0xc0000101
61 #define FEATURE_CONTROL_LOCKED (1 << 0)
62 #define FEATURE_CONTROL_VMXON_ENABLED_OUTSIDE_SMX (1 << 2)
64 #define EFER_LME 0x00000100
65 #define EFER_LMA 0x00000400
67 #define GDT_DESC_NULL 0
68 #define GDT_DESC_CODE 1
69 #define GDT_DESC_TSS 2
70 #define GDT_DESC_TSS_HI 3
71 #define NUM_GDT_DESC 4
73 #define X86_INST_LEN_CPUID 2
74 #define X86_INST_LEN_RDMSR 2
75 #define X86_INST_LEN_WRMSR 2
76 #define X86_INST_LEN_VMCALL 3
77 #define X86_INST_LEN_MOV_TO_CR 3
78 #define X86_INST_LEN_XSETBV 3
80 #define X86_REX_CODE 4
82 #define X86_OP_MOV_TO_MEM 0x89
83 #define X86_OP_MOV_FROM_MEM 0x8b
88 #define DESC_TSS_BUSY (1UL << (9 + 32))
89 #define DESC_PRESENT (1UL << (15 + 32))
90 #define DESC_CODE_DATA (1UL << (12 + 32))
91 #define DESC_PAGE_GRAN (1UL << (23 + 32))
107 unsigned long unused;
114 struct desc_table_reg {
117 } __attribute__((packed));
126 static unsigned long __force_order;
128 static inline void cpu_relax(void)
130 asm volatile("rep; nop" : : : "memory");
133 static inline void memory_barrier(void)
135 asm volatile("mfence" : : : "memory");
138 static inline void __cpuid(unsigned int *eax, unsigned int *ebx,
139 unsigned int *ecx, unsigned int *edx)
141 /* ecx is often an input as well as an output. */
143 : "=a" (*eax), "=b" (*ebx), "=c" (*ecx), "=d" (*edx)
144 : "0" (*eax), "2" (*ecx)
148 static inline void cpuid(unsigned int op, unsigned int *eax, unsigned int *ebx,
149 unsigned int *ecx, unsigned int *edx)
153 __cpuid(eax, ebx, ecx, edx);
156 #define CPUID_REG(reg) \
157 static inline unsigned int cpuid_##reg(unsigned int op) \
159 unsigned int eax, ebx, ecx, edx; \
161 cpuid(op, &eax, &ebx, &ecx, &edx); \
170 static inline unsigned long read_cr0(void)
174 asm volatile("mov %%cr0,%0" : "=r" (cr0), "=m" (__force_order));
178 static inline void write_cr0(unsigned long val)
180 asm volatile("mov %0,%%cr0" : : "r" (val), "m" (__force_order));
183 static inline unsigned long read_cr2(void)
187 asm volatile("mov %%cr2,%0" : "=r" (cr2), "=m" (__force_order));
191 static inline unsigned long read_cr3(void)
195 asm volatile("mov %%cr3,%0" : "=r" (cr3), "=m" (__force_order));
199 static inline void write_cr3(unsigned long val)
201 asm volatile("mov %0,%%cr3" : : "r" (val), "m" (__force_order));
204 static inline unsigned long read_cr4(void)
208 asm volatile("mov %%cr4,%0" : "=r" (cr4), "=m" (__force_order));
212 static inline void write_cr4(unsigned long val)
214 asm volatile("mov %0,%%cr4" : : "r" (val), "m" (__force_order));
217 static inline unsigned long read_msr(unsigned int msr)
221 asm volatile("rdmsr" : "=a" (low), "=d" (high) : "c" (msr));
222 return low | ((unsigned long)high << 32);
225 static inline void write_msr(unsigned int msr, unsigned long val)
229 : "c" (msr), "a" (val), "d" (val >> 32)
233 static inline void read_gdtr(struct desc_table_reg *val)
235 asm volatile("sgdtq %0" : "=m" (*val));
238 static inline void write_gdtr(struct desc_table_reg *val)
240 asm volatile("lgdtq %0" : : "m" (*val));
243 static inline void read_idtr(struct desc_table_reg *val)
245 asm volatile("sidtq %0" : "=m" (*val));
248 static inline void write_idtr(struct desc_table_reg *val)
250 asm volatile("lidtq %0" : : "m" (*val));
253 static inline void enable_irq(void)
258 static inline void disable_irq(void)
263 #endif /* !__ASSEMBLY__ */
265 #endif /* !_JAILHOUSE_ASM_PROCESSOR_H */