1 #include <geekos/svm.h>
4 extern uint_t cpuid_ecx(uint_t op);
5 extern uint_t cpuid_edx(uint_t op);
6 extern void Get_MSR(uint_t MSR, ulong_t * high_byte, ulong_t * low_byte);
7 extern void Set_MSR(uint_t MSR, ulong_t high_byte, ulong_t low_byte);
9 /* Checks machine SVM capability */
10 /* Implemented from: AMD Arch Manual 3, sect 15.4 */
11 int is_svm_capable() {
12 uint_t ret = cpuid_ecx(CPUID_FEATURE_IDS);
13 ulong_t vm_cr_low = 0, vm_cr_high = 0;
16 if ((ret & CPUID_FEATURE_IDS_ecx_svm_avail) == 0) {
17 Print("SVM Not Available\n");
21 Get_MSR(SVM_VM_CR_MSR, &vm_cr_high, &vm_cr_low);
23 if ((vm_cr_low & SVM_VM_CR_MSR_svmdis) == 0) {
27 ret = cpuid_edx(CPUID_SVM_REV_AND_FEATURE_IDS);
29 if ((ret & CPUID_SVM_REV_AND_FEATURE_IDS_edx_svml) == 0) {
30 Print("SVM BIOS Disabled, not unlockable\n");
32 Print("SVM is locked with a key\n");
39 ulong_t msr_val_low = 0, msr_val_high = 0;
41 Get_MSR(EFER_MSR, &msr_val_high, &msr_val_low);
42 msr_val_low |= EFER_MSR_svm_enable;
43 Set_MSR(EFER_MSR, 0, msr_val_low);
45 Print("SVM Inited\n");