1
2
3
4
5
6
7
8
9
10
11
12
13
14
15#ifndef _ASM_X86_VIRTEX_H
16#define _ASM_X86_VIRTEX_H
17
18#include <asm/processor.h>
19
20#include <asm/vmx.h>
21#include <asm/svm.h>
22
23
24
25
26
27static inline int cpu_has_vmx(void)
28{
29 unsigned long ecx = cpuid_ecx(1);
30 return test_bit(5, &ecx);
31}
32
33
34
35
36
37
38
39
40static inline void cpu_vmxoff(void)
41{
42 asm volatile (ASM_VMX_VMXOFF : : : "cc");
43 write_cr4(read_cr4() & ~X86_CR4_VMXE);
44}
45
46static inline int cpu_vmx_enabled(void)
47{
48 return read_cr4() & X86_CR4_VMXE;
49}
50
51
52
53
54
55static inline void __cpu_emergency_vmxoff(void)
56{
57 if (cpu_vmx_enabled())
58 cpu_vmxoff();
59}
60
61
62
63static inline void cpu_emergency_vmxoff(void)
64{
65 if (cpu_has_vmx())
66 __cpu_emergency_vmxoff();
67}
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83static inline int cpu_has_svm(const char **msg)
84{
85 uint32_t eax, ebx, ecx, edx;
86
87 if (boot_cpu_data.x86_vendor != X86_VENDOR_AMD) {
88 if (msg)
89 *msg = "not amd";
90 return 0;
91 }
92
93 cpuid(0x80000000, &eax, &ebx, &ecx, &edx);
94 if (eax < SVM_CPUID_FUNC) {
95 if (msg)
96 *msg = "can't execute cpuid_8000000a";
97 return 0;
98 }
99
100 cpuid(0x80000001, &eax, &ebx, &ecx, &edx);
101 if (!(ecx & (1 << SVM_CPUID_FEATURE_SHIFT))) {
102 if (msg)
103 *msg = "svm not available";
104 return 0;
105 }
106 return 1;
107}
108
109
110
111
112
113
114static inline void cpu_svm_disable(void)
115{
116 uint64_t efer;
117
118 wrmsrl(MSR_VM_HSAVE_PA, 0);
119 rdmsrl(MSR_EFER, efer);
120 wrmsrl(MSR_EFER, efer & ~EFER_SVME);
121}
122
123
124
125static inline void cpu_emergency_svm_disable(void)
126{
127 if (cpu_has_svm(NULL))
128 cpu_svm_disable();
129}
130
131#endif
132