1ad879127SKrish Sadhukhan #include "svm.h" 2ad879127SKrish Sadhukhan #include "libcflat.h" 3ad879127SKrish Sadhukhan #include "processor.h" 4ad879127SKrish Sadhukhan #include "desc.h" 5ad879127SKrish Sadhukhan #include "msr.h" 6ad879127SKrish Sadhukhan #include "vm.h" 7ad879127SKrish Sadhukhan #include "smp.h" 8ad879127SKrish Sadhukhan #include "types.h" 9ad879127SKrish Sadhukhan #include "alloc_page.h" 10ad879127SKrish Sadhukhan #include "isr.h" 11ad879127SKrish Sadhukhan #include "apic.h" 12ad879127SKrish Sadhukhan 13ad879127SKrish Sadhukhan #define SVM_EXIT_MAX_DR_INTERCEPT 0x3f 14ad879127SKrish Sadhukhan 15ad879127SKrish Sadhukhan static void *scratch_page; 16ad879127SKrish Sadhukhan 17ad879127SKrish Sadhukhan #define LATENCY_RUNS 1000000 18ad879127SKrish Sadhukhan 19ad879127SKrish Sadhukhan u64 tsc_start; 20ad879127SKrish Sadhukhan u64 tsc_end; 21ad879127SKrish Sadhukhan 22ad879127SKrish Sadhukhan u64 vmrun_sum, vmexit_sum; 23ad879127SKrish Sadhukhan u64 vmsave_sum, vmload_sum; 24ad879127SKrish Sadhukhan u64 stgi_sum, clgi_sum; 25ad879127SKrish Sadhukhan u64 latvmrun_max; 26ad879127SKrish Sadhukhan u64 latvmrun_min; 27ad879127SKrish Sadhukhan u64 latvmexit_max; 28ad879127SKrish Sadhukhan u64 latvmexit_min; 29ad879127SKrish Sadhukhan u64 latvmload_max; 30ad879127SKrish Sadhukhan u64 latvmload_min; 31ad879127SKrish Sadhukhan u64 latvmsave_max; 32ad879127SKrish Sadhukhan u64 latvmsave_min; 33ad879127SKrish Sadhukhan u64 latstgi_max; 34ad879127SKrish Sadhukhan u64 latstgi_min; 35ad879127SKrish Sadhukhan u64 latclgi_max; 36ad879127SKrish Sadhukhan u64 latclgi_min; 37ad879127SKrish Sadhukhan u64 runs; 38ad879127SKrish Sadhukhan 39ad879127SKrish Sadhukhan static void null_test(struct svm_test *test) 40ad879127SKrish Sadhukhan { 41ad879127SKrish Sadhukhan } 42ad879127SKrish Sadhukhan 43ad879127SKrish Sadhukhan static bool null_check(struct svm_test *test) 44ad879127SKrish Sadhukhan { 45*096cf7feSPaolo Bonzini return vmcb->control.exit_code == SVM_EXIT_VMMCALL; 46ad879127SKrish Sadhukhan } 47ad879127SKrish Sadhukhan 48ad879127SKrish Sadhukhan static void prepare_no_vmrun_int(struct svm_test *test) 49ad879127SKrish Sadhukhan { 50*096cf7feSPaolo Bonzini vmcb->control.intercept &= ~(1ULL << INTERCEPT_VMRUN); 51ad879127SKrish Sadhukhan } 52ad879127SKrish Sadhukhan 53ad879127SKrish Sadhukhan static bool check_no_vmrun_int(struct svm_test *test) 54ad879127SKrish Sadhukhan { 55*096cf7feSPaolo Bonzini return vmcb->control.exit_code == SVM_EXIT_ERR; 56ad879127SKrish Sadhukhan } 57ad879127SKrish Sadhukhan 58ad879127SKrish Sadhukhan static void test_vmrun(struct svm_test *test) 59ad879127SKrish Sadhukhan { 60*096cf7feSPaolo Bonzini asm volatile ("vmrun %0" : : "a"(virt_to_phys(vmcb))); 61ad879127SKrish Sadhukhan } 62ad879127SKrish Sadhukhan 63ad879127SKrish Sadhukhan static bool check_vmrun(struct svm_test *test) 64ad879127SKrish Sadhukhan { 65*096cf7feSPaolo Bonzini return vmcb->control.exit_code == SVM_EXIT_VMRUN; 66ad879127SKrish Sadhukhan } 67ad879127SKrish Sadhukhan 68ad879127SKrish Sadhukhan static void prepare_cr3_intercept(struct svm_test *test) 69ad879127SKrish Sadhukhan { 70ad879127SKrish Sadhukhan default_prepare(test); 71*096cf7feSPaolo Bonzini vmcb->control.intercept_cr_read |= 1 << 3; 72ad879127SKrish Sadhukhan } 73ad879127SKrish Sadhukhan 74ad879127SKrish Sadhukhan static void test_cr3_intercept(struct svm_test *test) 75ad879127SKrish Sadhukhan { 76ad879127SKrish Sadhukhan asm volatile ("mov %%cr3, %0" : "=r"(test->scratch) : : "memory"); 77ad879127SKrish Sadhukhan } 78ad879127SKrish Sadhukhan 79ad879127SKrish Sadhukhan static bool check_cr3_intercept(struct svm_test *test) 80ad879127SKrish Sadhukhan { 81*096cf7feSPaolo Bonzini return vmcb->control.exit_code == SVM_EXIT_READ_CR3; 82ad879127SKrish Sadhukhan } 83ad879127SKrish Sadhukhan 84ad879127SKrish Sadhukhan static bool check_cr3_nointercept(struct svm_test *test) 85ad879127SKrish Sadhukhan { 86ad879127SKrish Sadhukhan return null_check(test) && test->scratch == read_cr3(); 87ad879127SKrish Sadhukhan } 88ad879127SKrish Sadhukhan 89ad879127SKrish Sadhukhan static void corrupt_cr3_intercept_bypass(void *_test) 90ad879127SKrish Sadhukhan { 91ad879127SKrish Sadhukhan struct svm_test *test = _test; 92ad879127SKrish Sadhukhan extern volatile u32 mmio_insn; 93ad879127SKrish Sadhukhan 94ad879127SKrish Sadhukhan while (!__sync_bool_compare_and_swap(&test->scratch, 1, 2)) 95ad879127SKrish Sadhukhan pause(); 96ad879127SKrish Sadhukhan pause(); 97ad879127SKrish Sadhukhan pause(); 98ad879127SKrish Sadhukhan pause(); 99ad879127SKrish Sadhukhan mmio_insn = 0x90d8200f; // mov %cr3, %rax; nop 100ad879127SKrish Sadhukhan } 101ad879127SKrish Sadhukhan 102ad879127SKrish Sadhukhan static void prepare_cr3_intercept_bypass(struct svm_test *test) 103ad879127SKrish Sadhukhan { 104ad879127SKrish Sadhukhan default_prepare(test); 105*096cf7feSPaolo Bonzini vmcb->control.intercept_cr_read |= 1 << 3; 106ad879127SKrish Sadhukhan on_cpu_async(1, corrupt_cr3_intercept_bypass, test); 107ad879127SKrish Sadhukhan } 108ad879127SKrish Sadhukhan 109ad879127SKrish Sadhukhan static void test_cr3_intercept_bypass(struct svm_test *test) 110ad879127SKrish Sadhukhan { 111ad879127SKrish Sadhukhan ulong a = 0xa0000; 112ad879127SKrish Sadhukhan 113ad879127SKrish Sadhukhan test->scratch = 1; 114ad879127SKrish Sadhukhan while (test->scratch != 2) 115ad879127SKrish Sadhukhan barrier(); 116ad879127SKrish Sadhukhan 117ad879127SKrish Sadhukhan asm volatile ("mmio_insn: mov %0, (%0); nop" 118ad879127SKrish Sadhukhan : "+a"(a) : : "memory"); 119ad879127SKrish Sadhukhan test->scratch = a; 120ad879127SKrish Sadhukhan } 121ad879127SKrish Sadhukhan 122ad879127SKrish Sadhukhan static void prepare_dr_intercept(struct svm_test *test) 123ad879127SKrish Sadhukhan { 124ad879127SKrish Sadhukhan default_prepare(test); 125*096cf7feSPaolo Bonzini vmcb->control.intercept_dr_read = 0xff; 126*096cf7feSPaolo Bonzini vmcb->control.intercept_dr_write = 0xff; 127ad879127SKrish Sadhukhan } 128ad879127SKrish Sadhukhan 129ad879127SKrish Sadhukhan static void test_dr_intercept(struct svm_test *test) 130ad879127SKrish Sadhukhan { 131ad879127SKrish Sadhukhan unsigned int i, failcnt = 0; 132ad879127SKrish Sadhukhan 133ad879127SKrish Sadhukhan /* Loop testing debug register reads */ 134ad879127SKrish Sadhukhan for (i = 0; i < 8; i++) { 135ad879127SKrish Sadhukhan 136ad879127SKrish Sadhukhan switch (i) { 137ad879127SKrish Sadhukhan case 0: 138ad879127SKrish Sadhukhan asm volatile ("mov %%dr0, %0" : "=r"(test->scratch) : : "memory"); 139ad879127SKrish Sadhukhan break; 140ad879127SKrish Sadhukhan case 1: 141ad879127SKrish Sadhukhan asm volatile ("mov %%dr1, %0" : "=r"(test->scratch) : : "memory"); 142ad879127SKrish Sadhukhan break; 143ad879127SKrish Sadhukhan case 2: 144ad879127SKrish Sadhukhan asm volatile ("mov %%dr2, %0" : "=r"(test->scratch) : : "memory"); 145ad879127SKrish Sadhukhan break; 146ad879127SKrish Sadhukhan case 3: 147ad879127SKrish Sadhukhan asm volatile ("mov %%dr3, %0" : "=r"(test->scratch) : : "memory"); 148ad879127SKrish Sadhukhan break; 149ad879127SKrish Sadhukhan case 4: 150ad879127SKrish Sadhukhan asm volatile ("mov %%dr4, %0" : "=r"(test->scratch) : : "memory"); 151ad879127SKrish Sadhukhan break; 152ad879127SKrish Sadhukhan case 5: 153ad879127SKrish Sadhukhan asm volatile ("mov %%dr5, %0" : "=r"(test->scratch) : : "memory"); 154ad879127SKrish Sadhukhan break; 155ad879127SKrish Sadhukhan case 6: 156ad879127SKrish Sadhukhan asm volatile ("mov %%dr6, %0" : "=r"(test->scratch) : : "memory"); 157ad879127SKrish Sadhukhan break; 158ad879127SKrish Sadhukhan case 7: 159ad879127SKrish Sadhukhan asm volatile ("mov %%dr7, %0" : "=r"(test->scratch) : : "memory"); 160ad879127SKrish Sadhukhan break; 161ad879127SKrish Sadhukhan } 162ad879127SKrish Sadhukhan 163ad879127SKrish Sadhukhan if (test->scratch != i) { 164ad879127SKrish Sadhukhan report(false, "dr%u read intercept", i); 165ad879127SKrish Sadhukhan failcnt++; 166ad879127SKrish Sadhukhan } 167ad879127SKrish Sadhukhan } 168ad879127SKrish Sadhukhan 169ad879127SKrish Sadhukhan /* Loop testing debug register writes */ 170ad879127SKrish Sadhukhan for (i = 0; i < 8; i++) { 171ad879127SKrish Sadhukhan 172ad879127SKrish Sadhukhan switch (i) { 173ad879127SKrish Sadhukhan case 0: 174ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr0" : : "r"(test->scratch) : "memory"); 175ad879127SKrish Sadhukhan break; 176ad879127SKrish Sadhukhan case 1: 177ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr1" : : "r"(test->scratch) : "memory"); 178ad879127SKrish Sadhukhan break; 179ad879127SKrish Sadhukhan case 2: 180ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr2" : : "r"(test->scratch) : "memory"); 181ad879127SKrish Sadhukhan break; 182ad879127SKrish Sadhukhan case 3: 183ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr3" : : "r"(test->scratch) : "memory"); 184ad879127SKrish Sadhukhan break; 185ad879127SKrish Sadhukhan case 4: 186ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr4" : : "r"(test->scratch) : "memory"); 187ad879127SKrish Sadhukhan break; 188ad879127SKrish Sadhukhan case 5: 189ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr5" : : "r"(test->scratch) : "memory"); 190ad879127SKrish Sadhukhan break; 191ad879127SKrish Sadhukhan case 6: 192ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr6" : : "r"(test->scratch) : "memory"); 193ad879127SKrish Sadhukhan break; 194ad879127SKrish Sadhukhan case 7: 195ad879127SKrish Sadhukhan asm volatile ("mov %0, %%dr7" : : "r"(test->scratch) : "memory"); 196ad879127SKrish Sadhukhan break; 197ad879127SKrish Sadhukhan } 198ad879127SKrish Sadhukhan 199ad879127SKrish Sadhukhan if (test->scratch != i) { 200ad879127SKrish Sadhukhan report(false, "dr%u write intercept", i); 201ad879127SKrish Sadhukhan failcnt++; 202ad879127SKrish Sadhukhan } 203ad879127SKrish Sadhukhan } 204ad879127SKrish Sadhukhan 205ad879127SKrish Sadhukhan test->scratch = failcnt; 206ad879127SKrish Sadhukhan } 207ad879127SKrish Sadhukhan 208ad879127SKrish Sadhukhan static bool dr_intercept_finished(struct svm_test *test) 209ad879127SKrish Sadhukhan { 210*096cf7feSPaolo Bonzini ulong n = (vmcb->control.exit_code - SVM_EXIT_READ_DR0); 211ad879127SKrish Sadhukhan 212ad879127SKrish Sadhukhan /* Only expect DR intercepts */ 213ad879127SKrish Sadhukhan if (n > (SVM_EXIT_MAX_DR_INTERCEPT - SVM_EXIT_READ_DR0)) 214ad879127SKrish Sadhukhan return true; 215ad879127SKrish Sadhukhan 216ad879127SKrish Sadhukhan /* 217ad879127SKrish Sadhukhan * Compute debug register number. 218ad879127SKrish Sadhukhan * Per Appendix C "SVM Intercept Exit Codes" of AMD64 Architecture 219ad879127SKrish Sadhukhan * Programmer's Manual Volume 2 - System Programming: 220ad879127SKrish Sadhukhan * http://support.amd.com/TechDocs/24593.pdf 221ad879127SKrish Sadhukhan * there are 16 VMEXIT codes each for DR read and write. 222ad879127SKrish Sadhukhan */ 223ad879127SKrish Sadhukhan test->scratch = (n % 16); 224ad879127SKrish Sadhukhan 225ad879127SKrish Sadhukhan /* Jump over MOV instruction */ 226*096cf7feSPaolo Bonzini vmcb->save.rip += 3; 227ad879127SKrish Sadhukhan 228ad879127SKrish Sadhukhan return false; 229ad879127SKrish Sadhukhan } 230ad879127SKrish Sadhukhan 231ad879127SKrish Sadhukhan static bool check_dr_intercept(struct svm_test *test) 232ad879127SKrish Sadhukhan { 233ad879127SKrish Sadhukhan return !test->scratch; 234ad879127SKrish Sadhukhan } 235ad879127SKrish Sadhukhan 236ad879127SKrish Sadhukhan static bool next_rip_supported(void) 237ad879127SKrish Sadhukhan { 238ad879127SKrish Sadhukhan return this_cpu_has(X86_FEATURE_NRIPS); 239ad879127SKrish Sadhukhan } 240ad879127SKrish Sadhukhan 241ad879127SKrish Sadhukhan static void prepare_next_rip(struct svm_test *test) 242ad879127SKrish Sadhukhan { 243*096cf7feSPaolo Bonzini vmcb->control.intercept |= (1ULL << INTERCEPT_RDTSC); 244ad879127SKrish Sadhukhan } 245ad879127SKrish Sadhukhan 246ad879127SKrish Sadhukhan 247ad879127SKrish Sadhukhan static void test_next_rip(struct svm_test *test) 248ad879127SKrish Sadhukhan { 249ad879127SKrish Sadhukhan asm volatile ("rdtsc\n\t" 250ad879127SKrish Sadhukhan ".globl exp_next_rip\n\t" 251ad879127SKrish Sadhukhan "exp_next_rip:\n\t" ::: "eax", "edx"); 252ad879127SKrish Sadhukhan } 253ad879127SKrish Sadhukhan 254ad879127SKrish Sadhukhan static bool check_next_rip(struct svm_test *test) 255ad879127SKrish Sadhukhan { 256ad879127SKrish Sadhukhan extern char exp_next_rip; 257ad879127SKrish Sadhukhan unsigned long address = (unsigned long)&exp_next_rip; 258ad879127SKrish Sadhukhan 259*096cf7feSPaolo Bonzini return address == vmcb->control.next_rip; 260ad879127SKrish Sadhukhan } 261ad879127SKrish Sadhukhan 262ad879127SKrish Sadhukhan extern u8 *msr_bitmap; 263ad879127SKrish Sadhukhan 264ad879127SKrish Sadhukhan static void prepare_msr_intercept(struct svm_test *test) 265ad879127SKrish Sadhukhan { 266ad879127SKrish Sadhukhan default_prepare(test); 267*096cf7feSPaolo Bonzini vmcb->control.intercept |= (1ULL << INTERCEPT_MSR_PROT); 268*096cf7feSPaolo Bonzini vmcb->control.intercept_exceptions |= (1ULL << GP_VECTOR); 269ad879127SKrish Sadhukhan memset(msr_bitmap, 0xff, MSR_BITMAP_SIZE); 270ad879127SKrish Sadhukhan } 271ad879127SKrish Sadhukhan 272ad879127SKrish Sadhukhan static void test_msr_intercept(struct svm_test *test) 273ad879127SKrish Sadhukhan { 274ad879127SKrish Sadhukhan unsigned long msr_value = 0xef8056791234abcd; /* Arbitrary value */ 275ad879127SKrish Sadhukhan unsigned long msr_index; 276ad879127SKrish Sadhukhan 277ad879127SKrish Sadhukhan for (msr_index = 0; msr_index <= 0xc0011fff; msr_index++) { 278ad879127SKrish Sadhukhan if (msr_index == 0xC0010131 /* MSR_SEV_STATUS */) { 279ad879127SKrish Sadhukhan /* 280ad879127SKrish Sadhukhan * Per section 15.34.10 "SEV_STATUS MSR" of AMD64 Architecture 281ad879127SKrish Sadhukhan * Programmer's Manual volume 2 - System Programming: 282ad879127SKrish Sadhukhan * http://support.amd.com/TechDocs/24593.pdf 283ad879127SKrish Sadhukhan * SEV_STATUS MSR (C001_0131) is a non-interceptable MSR. 284ad879127SKrish Sadhukhan */ 285ad879127SKrish Sadhukhan continue; 286ad879127SKrish Sadhukhan } 287ad879127SKrish Sadhukhan 288ad879127SKrish Sadhukhan /* Skips gaps between supported MSR ranges */ 289ad879127SKrish Sadhukhan if (msr_index == 0x2000) 290ad879127SKrish Sadhukhan msr_index = 0xc0000000; 291ad879127SKrish Sadhukhan else if (msr_index == 0xc0002000) 292ad879127SKrish Sadhukhan msr_index = 0xc0010000; 293ad879127SKrish Sadhukhan 294ad879127SKrish Sadhukhan test->scratch = -1; 295ad879127SKrish Sadhukhan 296ad879127SKrish Sadhukhan rdmsr(msr_index); 297ad879127SKrish Sadhukhan 298ad879127SKrish Sadhukhan /* Check that a read intercept occurred for MSR at msr_index */ 299ad879127SKrish Sadhukhan if (test->scratch != msr_index) 300ad879127SKrish Sadhukhan report(false, "MSR 0x%lx read intercept", msr_index); 301ad879127SKrish Sadhukhan 302ad879127SKrish Sadhukhan /* 303ad879127SKrish Sadhukhan * Poor man approach to generate a value that 304ad879127SKrish Sadhukhan * seems arbitrary each time around the loop. 305ad879127SKrish Sadhukhan */ 306ad879127SKrish Sadhukhan msr_value += (msr_value << 1); 307ad879127SKrish Sadhukhan 308ad879127SKrish Sadhukhan wrmsr(msr_index, msr_value); 309ad879127SKrish Sadhukhan 310ad879127SKrish Sadhukhan /* Check that a write intercept occurred for MSR with msr_value */ 311ad879127SKrish Sadhukhan if (test->scratch != msr_value) 312ad879127SKrish Sadhukhan report(false, "MSR 0x%lx write intercept", msr_index); 313ad879127SKrish Sadhukhan } 314ad879127SKrish Sadhukhan 315ad879127SKrish Sadhukhan test->scratch = -2; 316ad879127SKrish Sadhukhan } 317ad879127SKrish Sadhukhan 318ad879127SKrish Sadhukhan static bool msr_intercept_finished(struct svm_test *test) 319ad879127SKrish Sadhukhan { 320*096cf7feSPaolo Bonzini u32 exit_code = vmcb->control.exit_code; 321ad879127SKrish Sadhukhan u64 exit_info_1; 322ad879127SKrish Sadhukhan u8 *opcode; 323ad879127SKrish Sadhukhan 324ad879127SKrish Sadhukhan if (exit_code == SVM_EXIT_MSR) { 325*096cf7feSPaolo Bonzini exit_info_1 = vmcb->control.exit_info_1; 326ad879127SKrish Sadhukhan } else { 327ad879127SKrish Sadhukhan /* 328ad879127SKrish Sadhukhan * If #GP exception occurs instead, check that it was 329ad879127SKrish Sadhukhan * for RDMSR/WRMSR and set exit_info_1 accordingly. 330ad879127SKrish Sadhukhan */ 331ad879127SKrish Sadhukhan 332ad879127SKrish Sadhukhan if (exit_code != (SVM_EXIT_EXCP_BASE + GP_VECTOR)) 333ad879127SKrish Sadhukhan return true; 334ad879127SKrish Sadhukhan 335*096cf7feSPaolo Bonzini opcode = (u8 *)vmcb->save.rip; 336ad879127SKrish Sadhukhan if (opcode[0] != 0x0f) 337ad879127SKrish Sadhukhan return true; 338ad879127SKrish Sadhukhan 339ad879127SKrish Sadhukhan switch (opcode[1]) { 340ad879127SKrish Sadhukhan case 0x30: /* WRMSR */ 341ad879127SKrish Sadhukhan exit_info_1 = 1; 342ad879127SKrish Sadhukhan break; 343ad879127SKrish Sadhukhan case 0x32: /* RDMSR */ 344ad879127SKrish Sadhukhan exit_info_1 = 0; 345ad879127SKrish Sadhukhan break; 346ad879127SKrish Sadhukhan default: 347ad879127SKrish Sadhukhan return true; 348ad879127SKrish Sadhukhan } 349ad879127SKrish Sadhukhan 350ad879127SKrish Sadhukhan /* 351ad879127SKrish Sadhukhan * Warn that #GP exception occured instead. 352ad879127SKrish Sadhukhan * RCX holds the MSR index. 353ad879127SKrish Sadhukhan */ 354ad879127SKrish Sadhukhan printf("%s 0x%lx #GP exception\n", 355ad879127SKrish Sadhukhan exit_info_1 ? "WRMSR" : "RDMSR", get_regs().rcx); 356ad879127SKrish Sadhukhan } 357ad879127SKrish Sadhukhan 358ad879127SKrish Sadhukhan /* Jump over RDMSR/WRMSR instruction */ 359*096cf7feSPaolo Bonzini vmcb->save.rip += 2; 360ad879127SKrish Sadhukhan 361ad879127SKrish Sadhukhan /* 362ad879127SKrish Sadhukhan * Test whether the intercept was for RDMSR/WRMSR. 363ad879127SKrish Sadhukhan * For RDMSR, test->scratch is set to the MSR index; 364ad879127SKrish Sadhukhan * RCX holds the MSR index. 365ad879127SKrish Sadhukhan * For WRMSR, test->scratch is set to the MSR value; 366ad879127SKrish Sadhukhan * RDX holds the upper 32 bits of the MSR value, 367ad879127SKrish Sadhukhan * while RAX hold its lower 32 bits. 368ad879127SKrish Sadhukhan */ 369ad879127SKrish Sadhukhan if (exit_info_1) 370ad879127SKrish Sadhukhan test->scratch = 371*096cf7feSPaolo Bonzini ((get_regs().rdx << 32) | (vmcb->save.rax & 0xffffffff)); 372ad879127SKrish Sadhukhan else 373ad879127SKrish Sadhukhan test->scratch = get_regs().rcx; 374ad879127SKrish Sadhukhan 375ad879127SKrish Sadhukhan return false; 376ad879127SKrish Sadhukhan } 377ad879127SKrish Sadhukhan 378ad879127SKrish Sadhukhan static bool check_msr_intercept(struct svm_test *test) 379ad879127SKrish Sadhukhan { 380ad879127SKrish Sadhukhan memset(msr_bitmap, 0, MSR_BITMAP_SIZE); 381ad879127SKrish Sadhukhan return (test->scratch == -2); 382ad879127SKrish Sadhukhan } 383ad879127SKrish Sadhukhan 384ad879127SKrish Sadhukhan static void prepare_mode_switch(struct svm_test *test) 385ad879127SKrish Sadhukhan { 386*096cf7feSPaolo Bonzini vmcb->control.intercept_exceptions |= (1ULL << GP_VECTOR) 387ad879127SKrish Sadhukhan | (1ULL << UD_VECTOR) 388ad879127SKrish Sadhukhan | (1ULL << DF_VECTOR) 389ad879127SKrish Sadhukhan | (1ULL << PF_VECTOR); 390ad879127SKrish Sadhukhan test->scratch = 0; 391ad879127SKrish Sadhukhan } 392ad879127SKrish Sadhukhan 393ad879127SKrish Sadhukhan static void test_mode_switch(struct svm_test *test) 394ad879127SKrish Sadhukhan { 395ad879127SKrish Sadhukhan asm volatile(" cli\n" 396ad879127SKrish Sadhukhan " ljmp *1f\n" /* jump to 32-bit code segment */ 397ad879127SKrish Sadhukhan "1:\n" 398ad879127SKrish Sadhukhan " .long 2f\n" 399ad879127SKrish Sadhukhan " .long " xstr(KERNEL_CS32) "\n" 400ad879127SKrish Sadhukhan ".code32\n" 401ad879127SKrish Sadhukhan "2:\n" 402ad879127SKrish Sadhukhan " movl %%cr0, %%eax\n" 403ad879127SKrish Sadhukhan " btcl $31, %%eax\n" /* clear PG */ 404ad879127SKrish Sadhukhan " movl %%eax, %%cr0\n" 405ad879127SKrish Sadhukhan " movl $0xc0000080, %%ecx\n" /* EFER */ 406ad879127SKrish Sadhukhan " rdmsr\n" 407ad879127SKrish Sadhukhan " btcl $8, %%eax\n" /* clear LME */ 408ad879127SKrish Sadhukhan " wrmsr\n" 409ad879127SKrish Sadhukhan " movl %%cr4, %%eax\n" 410ad879127SKrish Sadhukhan " btcl $5, %%eax\n" /* clear PAE */ 411ad879127SKrish Sadhukhan " movl %%eax, %%cr4\n" 412ad879127SKrish Sadhukhan " movw %[ds16], %%ax\n" 413ad879127SKrish Sadhukhan " movw %%ax, %%ds\n" 414ad879127SKrish Sadhukhan " ljmpl %[cs16], $3f\n" /* jump to 16 bit protected-mode */ 415ad879127SKrish Sadhukhan ".code16\n" 416ad879127SKrish Sadhukhan "3:\n" 417ad879127SKrish Sadhukhan " movl %%cr0, %%eax\n" 418ad879127SKrish Sadhukhan " btcl $0, %%eax\n" /* clear PE */ 419ad879127SKrish Sadhukhan " movl %%eax, %%cr0\n" 420ad879127SKrish Sadhukhan " ljmpl $0, $4f\n" /* jump to real-mode */ 421ad879127SKrish Sadhukhan "4:\n" 422ad879127SKrish Sadhukhan " vmmcall\n" 423ad879127SKrish Sadhukhan " movl %%cr0, %%eax\n" 424ad879127SKrish Sadhukhan " btsl $0, %%eax\n" /* set PE */ 425ad879127SKrish Sadhukhan " movl %%eax, %%cr0\n" 426ad879127SKrish Sadhukhan " ljmpl %[cs32], $5f\n" /* back to protected mode */ 427ad879127SKrish Sadhukhan ".code32\n" 428ad879127SKrish Sadhukhan "5:\n" 429ad879127SKrish Sadhukhan " movl %%cr4, %%eax\n" 430ad879127SKrish Sadhukhan " btsl $5, %%eax\n" /* set PAE */ 431ad879127SKrish Sadhukhan " movl %%eax, %%cr4\n" 432ad879127SKrish Sadhukhan " movl $0xc0000080, %%ecx\n" /* EFER */ 433ad879127SKrish Sadhukhan " rdmsr\n" 434ad879127SKrish Sadhukhan " btsl $8, %%eax\n" /* set LME */ 435ad879127SKrish Sadhukhan " wrmsr\n" 436ad879127SKrish Sadhukhan " movl %%cr0, %%eax\n" 437ad879127SKrish Sadhukhan " btsl $31, %%eax\n" /* set PG */ 438ad879127SKrish Sadhukhan " movl %%eax, %%cr0\n" 439ad879127SKrish Sadhukhan " ljmpl %[cs64], $6f\n" /* back to long mode */ 440ad879127SKrish Sadhukhan ".code64\n\t" 441ad879127SKrish Sadhukhan "6:\n" 442ad879127SKrish Sadhukhan " vmmcall\n" 443ad879127SKrish Sadhukhan :: [cs16] "i"(KERNEL_CS16), [ds16] "i"(KERNEL_DS16), 444ad879127SKrish Sadhukhan [cs32] "i"(KERNEL_CS32), [cs64] "i"(KERNEL_CS64) 445ad879127SKrish Sadhukhan : "rax", "rbx", "rcx", "rdx", "memory"); 446ad879127SKrish Sadhukhan } 447ad879127SKrish Sadhukhan 448ad879127SKrish Sadhukhan static bool mode_switch_finished(struct svm_test *test) 449ad879127SKrish Sadhukhan { 450ad879127SKrish Sadhukhan u64 cr0, cr4, efer; 451ad879127SKrish Sadhukhan 452*096cf7feSPaolo Bonzini cr0 = vmcb->save.cr0; 453*096cf7feSPaolo Bonzini cr4 = vmcb->save.cr4; 454*096cf7feSPaolo Bonzini efer = vmcb->save.efer; 455ad879127SKrish Sadhukhan 456ad879127SKrish Sadhukhan /* Only expect VMMCALL intercepts */ 457*096cf7feSPaolo Bonzini if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) 458ad879127SKrish Sadhukhan return true; 459ad879127SKrish Sadhukhan 460ad879127SKrish Sadhukhan /* Jump over VMMCALL instruction */ 461*096cf7feSPaolo Bonzini vmcb->save.rip += 3; 462ad879127SKrish Sadhukhan 463ad879127SKrish Sadhukhan /* Do sanity checks */ 464ad879127SKrish Sadhukhan switch (test->scratch) { 465ad879127SKrish Sadhukhan case 0: 466ad879127SKrish Sadhukhan /* Test should be in real mode now - check for this */ 467ad879127SKrish Sadhukhan if ((cr0 & 0x80000001) || /* CR0.PG, CR0.PE */ 468ad879127SKrish Sadhukhan (cr4 & 0x00000020) || /* CR4.PAE */ 469ad879127SKrish Sadhukhan (efer & 0x00000500)) /* EFER.LMA, EFER.LME */ 470ad879127SKrish Sadhukhan return true; 471ad879127SKrish Sadhukhan break; 472ad879127SKrish Sadhukhan case 2: 473ad879127SKrish Sadhukhan /* Test should be back in long-mode now - check for this */ 474ad879127SKrish Sadhukhan if (((cr0 & 0x80000001) != 0x80000001) || /* CR0.PG, CR0.PE */ 475ad879127SKrish Sadhukhan ((cr4 & 0x00000020) != 0x00000020) || /* CR4.PAE */ 476ad879127SKrish Sadhukhan ((efer & 0x00000500) != 0x00000500)) /* EFER.LMA, EFER.LME */ 477ad879127SKrish Sadhukhan return true; 478ad879127SKrish Sadhukhan break; 479ad879127SKrish Sadhukhan } 480ad879127SKrish Sadhukhan 481ad879127SKrish Sadhukhan /* one step forward */ 482ad879127SKrish Sadhukhan test->scratch += 1; 483ad879127SKrish Sadhukhan 484ad879127SKrish Sadhukhan return test->scratch == 2; 485ad879127SKrish Sadhukhan } 486ad879127SKrish Sadhukhan 487ad879127SKrish Sadhukhan static bool check_mode_switch(struct svm_test *test) 488ad879127SKrish Sadhukhan { 489ad879127SKrish Sadhukhan return test->scratch == 2; 490ad879127SKrish Sadhukhan } 491ad879127SKrish Sadhukhan 492ad879127SKrish Sadhukhan extern u8 *io_bitmap; 493ad879127SKrish Sadhukhan 494ad879127SKrish Sadhukhan static void prepare_ioio(struct svm_test *test) 495ad879127SKrish Sadhukhan { 496*096cf7feSPaolo Bonzini vmcb->control.intercept |= (1ULL << INTERCEPT_IOIO_PROT); 497ad879127SKrish Sadhukhan test->scratch = 0; 498ad879127SKrish Sadhukhan memset(io_bitmap, 0, 8192); 499ad879127SKrish Sadhukhan io_bitmap[8192] = 0xFF; 500ad879127SKrish Sadhukhan } 501ad879127SKrish Sadhukhan 502ad879127SKrish Sadhukhan static void test_ioio(struct svm_test *test) 503ad879127SKrish Sadhukhan { 504ad879127SKrish Sadhukhan // stage 0, test IO pass 505ad879127SKrish Sadhukhan inb(0x5000); 506ad879127SKrish Sadhukhan outb(0x0, 0x5000); 507ad879127SKrish Sadhukhan if (get_test_stage(test) != 0) 508ad879127SKrish Sadhukhan goto fail; 509ad879127SKrish Sadhukhan 510ad879127SKrish Sadhukhan // test IO width, in/out 511ad879127SKrish Sadhukhan io_bitmap[0] = 0xFF; 512ad879127SKrish Sadhukhan inc_test_stage(test); 513ad879127SKrish Sadhukhan inb(0x0); 514ad879127SKrish Sadhukhan if (get_test_stage(test) != 2) 515ad879127SKrish Sadhukhan goto fail; 516ad879127SKrish Sadhukhan 517ad879127SKrish Sadhukhan outw(0x0, 0x0); 518ad879127SKrish Sadhukhan if (get_test_stage(test) != 3) 519ad879127SKrish Sadhukhan goto fail; 520ad879127SKrish Sadhukhan 521ad879127SKrish Sadhukhan inl(0x0); 522ad879127SKrish Sadhukhan if (get_test_stage(test) != 4) 523ad879127SKrish Sadhukhan goto fail; 524ad879127SKrish Sadhukhan 525ad879127SKrish Sadhukhan // test low/high IO port 526ad879127SKrish Sadhukhan io_bitmap[0x5000 / 8] = (1 << (0x5000 % 8)); 527ad879127SKrish Sadhukhan inb(0x5000); 528ad879127SKrish Sadhukhan if (get_test_stage(test) != 5) 529ad879127SKrish Sadhukhan goto fail; 530ad879127SKrish Sadhukhan 531ad879127SKrish Sadhukhan io_bitmap[0x9000 / 8] = (1 << (0x9000 % 8)); 532ad879127SKrish Sadhukhan inw(0x9000); 533ad879127SKrish Sadhukhan if (get_test_stage(test) != 6) 534ad879127SKrish Sadhukhan goto fail; 535ad879127SKrish Sadhukhan 536ad879127SKrish Sadhukhan // test partial pass 537ad879127SKrish Sadhukhan io_bitmap[0x5000 / 8] = (1 << (0x5000 % 8)); 538ad879127SKrish Sadhukhan inl(0x4FFF); 539ad879127SKrish Sadhukhan if (get_test_stage(test) != 7) 540ad879127SKrish Sadhukhan goto fail; 541ad879127SKrish Sadhukhan 542ad879127SKrish Sadhukhan // test across pages 543ad879127SKrish Sadhukhan inc_test_stage(test); 544ad879127SKrish Sadhukhan inl(0x7FFF); 545ad879127SKrish Sadhukhan if (get_test_stage(test) != 8) 546ad879127SKrish Sadhukhan goto fail; 547ad879127SKrish Sadhukhan 548ad879127SKrish Sadhukhan inc_test_stage(test); 549ad879127SKrish Sadhukhan io_bitmap[0x8000 / 8] = 1 << (0x8000 % 8); 550ad879127SKrish Sadhukhan inl(0x7FFF); 551ad879127SKrish Sadhukhan if (get_test_stage(test) != 10) 552ad879127SKrish Sadhukhan goto fail; 553ad879127SKrish Sadhukhan 554ad879127SKrish Sadhukhan io_bitmap[0] = 0; 555ad879127SKrish Sadhukhan inl(0xFFFF); 556ad879127SKrish Sadhukhan if (get_test_stage(test) != 11) 557ad879127SKrish Sadhukhan goto fail; 558ad879127SKrish Sadhukhan 559ad879127SKrish Sadhukhan io_bitmap[0] = 0xFF; 560ad879127SKrish Sadhukhan io_bitmap[8192] = 0; 561ad879127SKrish Sadhukhan inl(0xFFFF); 562ad879127SKrish Sadhukhan inc_test_stage(test); 563ad879127SKrish Sadhukhan if (get_test_stage(test) != 12) 564ad879127SKrish Sadhukhan goto fail; 565ad879127SKrish Sadhukhan 566ad879127SKrish Sadhukhan return; 567ad879127SKrish Sadhukhan 568ad879127SKrish Sadhukhan fail: 569ad879127SKrish Sadhukhan report(false, "stage %d", get_test_stage(test)); 570ad879127SKrish Sadhukhan test->scratch = -1; 571ad879127SKrish Sadhukhan } 572ad879127SKrish Sadhukhan 573ad879127SKrish Sadhukhan static bool ioio_finished(struct svm_test *test) 574ad879127SKrish Sadhukhan { 575ad879127SKrish Sadhukhan unsigned port, size; 576ad879127SKrish Sadhukhan 577ad879127SKrish Sadhukhan /* Only expect IOIO intercepts */ 578*096cf7feSPaolo Bonzini if (vmcb->control.exit_code == SVM_EXIT_VMMCALL) 579ad879127SKrish Sadhukhan return true; 580ad879127SKrish Sadhukhan 581*096cf7feSPaolo Bonzini if (vmcb->control.exit_code != SVM_EXIT_IOIO) 582ad879127SKrish Sadhukhan return true; 583ad879127SKrish Sadhukhan 584ad879127SKrish Sadhukhan /* one step forward */ 585ad879127SKrish Sadhukhan test->scratch += 1; 586ad879127SKrish Sadhukhan 587*096cf7feSPaolo Bonzini port = vmcb->control.exit_info_1 >> 16; 588*096cf7feSPaolo Bonzini size = (vmcb->control.exit_info_1 >> SVM_IOIO_SIZE_SHIFT) & 7; 589ad879127SKrish Sadhukhan 590ad879127SKrish Sadhukhan while (size--) { 591ad879127SKrish Sadhukhan io_bitmap[port / 8] &= ~(1 << (port & 7)); 592ad879127SKrish Sadhukhan port++; 593ad879127SKrish Sadhukhan } 594ad879127SKrish Sadhukhan 595ad879127SKrish Sadhukhan return false; 596ad879127SKrish Sadhukhan } 597ad879127SKrish Sadhukhan 598ad879127SKrish Sadhukhan static bool check_ioio(struct svm_test *test) 599ad879127SKrish Sadhukhan { 600ad879127SKrish Sadhukhan memset(io_bitmap, 0, 8193); 601ad879127SKrish Sadhukhan return test->scratch != -1; 602ad879127SKrish Sadhukhan } 603ad879127SKrish Sadhukhan 604ad879127SKrish Sadhukhan static void prepare_asid_zero(struct svm_test *test) 605ad879127SKrish Sadhukhan { 606*096cf7feSPaolo Bonzini vmcb->control.asid = 0; 607ad879127SKrish Sadhukhan } 608ad879127SKrish Sadhukhan 609ad879127SKrish Sadhukhan static void test_asid_zero(struct svm_test *test) 610ad879127SKrish Sadhukhan { 611ad879127SKrish Sadhukhan asm volatile ("vmmcall\n\t"); 612ad879127SKrish Sadhukhan } 613ad879127SKrish Sadhukhan 614ad879127SKrish Sadhukhan static bool check_asid_zero(struct svm_test *test) 615ad879127SKrish Sadhukhan { 616*096cf7feSPaolo Bonzini return vmcb->control.exit_code == SVM_EXIT_ERR; 617ad879127SKrish Sadhukhan } 618ad879127SKrish Sadhukhan 619ad879127SKrish Sadhukhan static void sel_cr0_bug_prepare(struct svm_test *test) 620ad879127SKrish Sadhukhan { 621*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 622*096cf7feSPaolo Bonzini vmcb->control.intercept |= (1ULL << INTERCEPT_SELECTIVE_CR0); 623ad879127SKrish Sadhukhan } 624ad879127SKrish Sadhukhan 625ad879127SKrish Sadhukhan static bool sel_cr0_bug_finished(struct svm_test *test) 626ad879127SKrish Sadhukhan { 627ad879127SKrish Sadhukhan return true; 628ad879127SKrish Sadhukhan } 629ad879127SKrish Sadhukhan 630ad879127SKrish Sadhukhan static void sel_cr0_bug_test(struct svm_test *test) 631ad879127SKrish Sadhukhan { 632ad879127SKrish Sadhukhan unsigned long cr0; 633ad879127SKrish Sadhukhan 634ad879127SKrish Sadhukhan /* read cr0, clear CD, and write back */ 635ad879127SKrish Sadhukhan cr0 = read_cr0(); 636ad879127SKrish Sadhukhan cr0 |= (1UL << 30); 637ad879127SKrish Sadhukhan write_cr0(cr0); 638ad879127SKrish Sadhukhan 639ad879127SKrish Sadhukhan /* 640ad879127SKrish Sadhukhan * If we are here the test failed, not sure what to do now because we 641ad879127SKrish Sadhukhan * are not in guest-mode anymore so we can't trigger an intercept. 642ad879127SKrish Sadhukhan * Trigger a tripple-fault for now. 643ad879127SKrish Sadhukhan */ 644ad879127SKrish Sadhukhan report(false, "sel_cr0 test. Can not recover from this - exiting"); 645ad879127SKrish Sadhukhan exit(report_summary()); 646ad879127SKrish Sadhukhan } 647ad879127SKrish Sadhukhan 648ad879127SKrish Sadhukhan static bool sel_cr0_bug_check(struct svm_test *test) 649ad879127SKrish Sadhukhan { 650*096cf7feSPaolo Bonzini return vmcb->control.exit_code == SVM_EXIT_CR0_SEL_WRITE; 651ad879127SKrish Sadhukhan } 652ad879127SKrish Sadhukhan 653ad879127SKrish Sadhukhan static void npt_nx_prepare(struct svm_test *test) 654ad879127SKrish Sadhukhan { 655ad879127SKrish Sadhukhan 656ad879127SKrish Sadhukhan u64 *pte; 657ad879127SKrish Sadhukhan 658*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 659ad879127SKrish Sadhukhan pte = npt_get_pte((u64)null_test); 660ad879127SKrish Sadhukhan 661ad879127SKrish Sadhukhan *pte |= (1ULL << 63); 662ad879127SKrish Sadhukhan } 663ad879127SKrish Sadhukhan 664ad879127SKrish Sadhukhan static bool npt_nx_check(struct svm_test *test) 665ad879127SKrish Sadhukhan { 666ad879127SKrish Sadhukhan u64 *pte = npt_get_pte((u64)null_test); 667ad879127SKrish Sadhukhan 668ad879127SKrish Sadhukhan *pte &= ~(1ULL << 63); 669ad879127SKrish Sadhukhan 670*096cf7feSPaolo Bonzini vmcb->save.efer |= (1 << 11); 671ad879127SKrish Sadhukhan 672*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 673*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x100000015ULL); 674ad879127SKrish Sadhukhan } 675ad879127SKrish Sadhukhan 676ad879127SKrish Sadhukhan static void npt_us_prepare(struct svm_test *test) 677ad879127SKrish Sadhukhan { 678ad879127SKrish Sadhukhan u64 *pte; 679ad879127SKrish Sadhukhan 680ad879127SKrish Sadhukhan scratch_page = alloc_page(); 681*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 682ad879127SKrish Sadhukhan pte = npt_get_pte((u64)scratch_page); 683ad879127SKrish Sadhukhan 684ad879127SKrish Sadhukhan *pte &= ~(1ULL << 2); 685ad879127SKrish Sadhukhan } 686ad879127SKrish Sadhukhan 687ad879127SKrish Sadhukhan static void npt_us_test(struct svm_test *test) 688ad879127SKrish Sadhukhan { 689ad879127SKrish Sadhukhan (void) *(volatile u64 *)scratch_page; 690ad879127SKrish Sadhukhan } 691ad879127SKrish Sadhukhan 692ad879127SKrish Sadhukhan static bool npt_us_check(struct svm_test *test) 693ad879127SKrish Sadhukhan { 694ad879127SKrish Sadhukhan u64 *pte = npt_get_pte((u64)scratch_page); 695ad879127SKrish Sadhukhan 696ad879127SKrish Sadhukhan *pte |= (1ULL << 2); 697ad879127SKrish Sadhukhan 698*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 699*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x100000005ULL); 700ad879127SKrish Sadhukhan } 701ad879127SKrish Sadhukhan 702ad879127SKrish Sadhukhan u64 save_pde; 703ad879127SKrish Sadhukhan 704ad879127SKrish Sadhukhan static void npt_rsvd_prepare(struct svm_test *test) 705ad879127SKrish Sadhukhan { 706ad879127SKrish Sadhukhan u64 *pde; 707ad879127SKrish Sadhukhan 708*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 709ad879127SKrish Sadhukhan pde = npt_get_pde((u64) null_test); 710ad879127SKrish Sadhukhan 711ad879127SKrish Sadhukhan save_pde = *pde; 712ad879127SKrish Sadhukhan *pde = (1ULL << 19) | (1ULL << 7) | 0x27; 713ad879127SKrish Sadhukhan } 714ad879127SKrish Sadhukhan 715ad879127SKrish Sadhukhan static bool npt_rsvd_check(struct svm_test *test) 716ad879127SKrish Sadhukhan { 717ad879127SKrish Sadhukhan u64 *pde = npt_get_pde((u64) null_test); 718ad879127SKrish Sadhukhan 719ad879127SKrish Sadhukhan *pde = save_pde; 720ad879127SKrish Sadhukhan 721*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 722*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x10000001dULL); 723ad879127SKrish Sadhukhan } 724ad879127SKrish Sadhukhan 725ad879127SKrish Sadhukhan static void npt_rw_prepare(struct svm_test *test) 726ad879127SKrish Sadhukhan { 727ad879127SKrish Sadhukhan 728ad879127SKrish Sadhukhan u64 *pte; 729ad879127SKrish Sadhukhan 730*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 731ad879127SKrish Sadhukhan pte = npt_get_pte(0x80000); 732ad879127SKrish Sadhukhan 733ad879127SKrish Sadhukhan *pte &= ~(1ULL << 1); 734ad879127SKrish Sadhukhan } 735ad879127SKrish Sadhukhan 736ad879127SKrish Sadhukhan static void npt_rw_test(struct svm_test *test) 737ad879127SKrish Sadhukhan { 738ad879127SKrish Sadhukhan u64 *data = (void*)(0x80000); 739ad879127SKrish Sadhukhan 740ad879127SKrish Sadhukhan *data = 0; 741ad879127SKrish Sadhukhan } 742ad879127SKrish Sadhukhan 743ad879127SKrish Sadhukhan static bool npt_rw_check(struct svm_test *test) 744ad879127SKrish Sadhukhan { 745ad879127SKrish Sadhukhan u64 *pte = npt_get_pte(0x80000); 746ad879127SKrish Sadhukhan 747ad879127SKrish Sadhukhan *pte |= (1ULL << 1); 748ad879127SKrish Sadhukhan 749*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 750*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x100000007ULL); 751ad879127SKrish Sadhukhan } 752ad879127SKrish Sadhukhan 753ad879127SKrish Sadhukhan static void npt_rw_pfwalk_prepare(struct svm_test *test) 754ad879127SKrish Sadhukhan { 755ad879127SKrish Sadhukhan 756ad879127SKrish Sadhukhan u64 *pte; 757ad879127SKrish Sadhukhan 758*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 759ad879127SKrish Sadhukhan pte = npt_get_pte(read_cr3()); 760ad879127SKrish Sadhukhan 761ad879127SKrish Sadhukhan *pte &= ~(1ULL << 1); 762ad879127SKrish Sadhukhan } 763ad879127SKrish Sadhukhan 764ad879127SKrish Sadhukhan static bool npt_rw_pfwalk_check(struct svm_test *test) 765ad879127SKrish Sadhukhan { 766ad879127SKrish Sadhukhan u64 *pte = npt_get_pte(read_cr3()); 767ad879127SKrish Sadhukhan 768ad879127SKrish Sadhukhan *pte |= (1ULL << 1); 769ad879127SKrish Sadhukhan 770*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 771*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x200000006ULL) 772*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_2 == read_cr3()); 773ad879127SKrish Sadhukhan } 774ad879127SKrish Sadhukhan 775ad879127SKrish Sadhukhan static void npt_rsvd_pfwalk_prepare(struct svm_test *test) 776ad879127SKrish Sadhukhan { 777ad879127SKrish Sadhukhan u64 *pdpe; 778*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 779ad879127SKrish Sadhukhan 780ad879127SKrish Sadhukhan pdpe = npt_get_pdpe(); 781ad879127SKrish Sadhukhan pdpe[0] |= (1ULL << 8); 782ad879127SKrish Sadhukhan } 783ad879127SKrish Sadhukhan 784ad879127SKrish Sadhukhan static bool npt_rsvd_pfwalk_check(struct svm_test *test) 785ad879127SKrish Sadhukhan { 786ad879127SKrish Sadhukhan u64 *pdpe = npt_get_pdpe(); 787ad879127SKrish Sadhukhan pdpe[0] &= ~(1ULL << 8); 788ad879127SKrish Sadhukhan 789*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 790*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x20000000eULL); 791ad879127SKrish Sadhukhan } 792ad879127SKrish Sadhukhan 793ad879127SKrish Sadhukhan static void npt_l1mmio_prepare(struct svm_test *test) 794ad879127SKrish Sadhukhan { 795*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 796ad879127SKrish Sadhukhan } 797ad879127SKrish Sadhukhan 798ad879127SKrish Sadhukhan u32 nested_apic_version1; 799ad879127SKrish Sadhukhan u32 nested_apic_version2; 800ad879127SKrish Sadhukhan 801ad879127SKrish Sadhukhan static void npt_l1mmio_test(struct svm_test *test) 802ad879127SKrish Sadhukhan { 803ad879127SKrish Sadhukhan volatile u32 *data = (volatile void*)(0xfee00030UL); 804ad879127SKrish Sadhukhan 805ad879127SKrish Sadhukhan nested_apic_version1 = *data; 806ad879127SKrish Sadhukhan nested_apic_version2 = *data; 807ad879127SKrish Sadhukhan } 808ad879127SKrish Sadhukhan 809ad879127SKrish Sadhukhan static bool npt_l1mmio_check(struct svm_test *test) 810ad879127SKrish Sadhukhan { 811ad879127SKrish Sadhukhan volatile u32 *data = (volatile void*)(0xfee00030); 812ad879127SKrish Sadhukhan u32 lvr = *data; 813ad879127SKrish Sadhukhan 814ad879127SKrish Sadhukhan return nested_apic_version1 == lvr && nested_apic_version2 == lvr; 815ad879127SKrish Sadhukhan } 816ad879127SKrish Sadhukhan 817ad879127SKrish Sadhukhan static void npt_rw_l1mmio_prepare(struct svm_test *test) 818ad879127SKrish Sadhukhan { 819ad879127SKrish Sadhukhan 820ad879127SKrish Sadhukhan u64 *pte; 821ad879127SKrish Sadhukhan 822*096cf7feSPaolo Bonzini vmcb_ident(vmcb); 823ad879127SKrish Sadhukhan pte = npt_get_pte(0xfee00080); 824ad879127SKrish Sadhukhan 825ad879127SKrish Sadhukhan *pte &= ~(1ULL << 1); 826ad879127SKrish Sadhukhan } 827ad879127SKrish Sadhukhan 828ad879127SKrish Sadhukhan static void npt_rw_l1mmio_test(struct svm_test *test) 829ad879127SKrish Sadhukhan { 830ad879127SKrish Sadhukhan volatile u32 *data = (volatile void*)(0xfee00080); 831ad879127SKrish Sadhukhan 832ad879127SKrish Sadhukhan *data = *data; 833ad879127SKrish Sadhukhan } 834ad879127SKrish Sadhukhan 835ad879127SKrish Sadhukhan static bool npt_rw_l1mmio_check(struct svm_test *test) 836ad879127SKrish Sadhukhan { 837ad879127SKrish Sadhukhan u64 *pte = npt_get_pte(0xfee00080); 838ad879127SKrish Sadhukhan 839ad879127SKrish Sadhukhan *pte |= (1ULL << 1); 840ad879127SKrish Sadhukhan 841*096cf7feSPaolo Bonzini return (vmcb->control.exit_code == SVM_EXIT_NPF) 842*096cf7feSPaolo Bonzini && (vmcb->control.exit_info_1 == 0x100000007ULL); 843ad879127SKrish Sadhukhan } 844ad879127SKrish Sadhukhan 845ad879127SKrish Sadhukhan #define TSC_ADJUST_VALUE (1ll << 32) 846ad879127SKrish Sadhukhan #define TSC_OFFSET_VALUE (-1ll << 48) 847ad879127SKrish Sadhukhan static bool ok; 848ad879127SKrish Sadhukhan 849ad879127SKrish Sadhukhan static void tsc_adjust_prepare(struct svm_test *test) 850ad879127SKrish Sadhukhan { 851ad879127SKrish Sadhukhan default_prepare(test); 852*096cf7feSPaolo Bonzini vmcb->control.tsc_offset = TSC_OFFSET_VALUE; 853ad879127SKrish Sadhukhan 854ad879127SKrish Sadhukhan wrmsr(MSR_IA32_TSC_ADJUST, -TSC_ADJUST_VALUE); 855ad879127SKrish Sadhukhan int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST); 856ad879127SKrish Sadhukhan ok = adjust == -TSC_ADJUST_VALUE; 857ad879127SKrish Sadhukhan } 858ad879127SKrish Sadhukhan 859ad879127SKrish Sadhukhan static void tsc_adjust_test(struct svm_test *test) 860ad879127SKrish Sadhukhan { 861ad879127SKrish Sadhukhan int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST); 862ad879127SKrish Sadhukhan ok &= adjust == -TSC_ADJUST_VALUE; 863ad879127SKrish Sadhukhan 864ad879127SKrish Sadhukhan uint64_t l1_tsc = rdtsc() - TSC_OFFSET_VALUE; 865ad879127SKrish Sadhukhan wrmsr(MSR_IA32_TSC, l1_tsc - TSC_ADJUST_VALUE); 866ad879127SKrish Sadhukhan 867ad879127SKrish Sadhukhan adjust = rdmsr(MSR_IA32_TSC_ADJUST); 868ad879127SKrish Sadhukhan ok &= adjust <= -2 * TSC_ADJUST_VALUE; 869ad879127SKrish Sadhukhan 870ad879127SKrish Sadhukhan uint64_t l1_tsc_end = rdtsc() - TSC_OFFSET_VALUE; 871ad879127SKrish Sadhukhan ok &= (l1_tsc_end + TSC_ADJUST_VALUE - l1_tsc) < TSC_ADJUST_VALUE; 872ad879127SKrish Sadhukhan 873ad879127SKrish Sadhukhan uint64_t l1_tsc_msr = rdmsr(MSR_IA32_TSC) - TSC_OFFSET_VALUE; 874ad879127SKrish Sadhukhan ok &= (l1_tsc_msr + TSC_ADJUST_VALUE - l1_tsc) < TSC_ADJUST_VALUE; 875ad879127SKrish Sadhukhan } 876ad879127SKrish Sadhukhan 877ad879127SKrish Sadhukhan static bool tsc_adjust_check(struct svm_test *test) 878ad879127SKrish Sadhukhan { 879ad879127SKrish Sadhukhan int64_t adjust = rdmsr(MSR_IA32_TSC_ADJUST); 880ad879127SKrish Sadhukhan 881ad879127SKrish Sadhukhan wrmsr(MSR_IA32_TSC_ADJUST, 0); 882ad879127SKrish Sadhukhan return ok && adjust <= -2 * TSC_ADJUST_VALUE; 883ad879127SKrish Sadhukhan } 884ad879127SKrish Sadhukhan 885ad879127SKrish Sadhukhan static void latency_prepare(struct svm_test *test) 886ad879127SKrish Sadhukhan { 887ad879127SKrish Sadhukhan default_prepare(test); 888ad879127SKrish Sadhukhan runs = LATENCY_RUNS; 889ad879127SKrish Sadhukhan latvmrun_min = latvmexit_min = -1ULL; 890ad879127SKrish Sadhukhan latvmrun_max = latvmexit_max = 0; 891ad879127SKrish Sadhukhan vmrun_sum = vmexit_sum = 0; 892ad879127SKrish Sadhukhan tsc_start = rdtsc(); 893ad879127SKrish Sadhukhan } 894ad879127SKrish Sadhukhan 895ad879127SKrish Sadhukhan static void latency_test(struct svm_test *test) 896ad879127SKrish Sadhukhan { 897ad879127SKrish Sadhukhan u64 cycles; 898ad879127SKrish Sadhukhan 899ad879127SKrish Sadhukhan start: 900ad879127SKrish Sadhukhan tsc_end = rdtsc(); 901ad879127SKrish Sadhukhan 902ad879127SKrish Sadhukhan cycles = tsc_end - tsc_start; 903ad879127SKrish Sadhukhan 904ad879127SKrish Sadhukhan if (cycles > latvmrun_max) 905ad879127SKrish Sadhukhan latvmrun_max = cycles; 906ad879127SKrish Sadhukhan 907ad879127SKrish Sadhukhan if (cycles < latvmrun_min) 908ad879127SKrish Sadhukhan latvmrun_min = cycles; 909ad879127SKrish Sadhukhan 910ad879127SKrish Sadhukhan vmrun_sum += cycles; 911ad879127SKrish Sadhukhan 912ad879127SKrish Sadhukhan tsc_start = rdtsc(); 913ad879127SKrish Sadhukhan 914ad879127SKrish Sadhukhan asm volatile ("vmmcall" : : : "memory"); 915ad879127SKrish Sadhukhan goto start; 916ad879127SKrish Sadhukhan } 917ad879127SKrish Sadhukhan 918ad879127SKrish Sadhukhan static bool latency_finished(struct svm_test *test) 919ad879127SKrish Sadhukhan { 920ad879127SKrish Sadhukhan u64 cycles; 921ad879127SKrish Sadhukhan 922ad879127SKrish Sadhukhan tsc_end = rdtsc(); 923ad879127SKrish Sadhukhan 924ad879127SKrish Sadhukhan cycles = tsc_end - tsc_start; 925ad879127SKrish Sadhukhan 926ad879127SKrish Sadhukhan if (cycles > latvmexit_max) 927ad879127SKrish Sadhukhan latvmexit_max = cycles; 928ad879127SKrish Sadhukhan 929ad879127SKrish Sadhukhan if (cycles < latvmexit_min) 930ad879127SKrish Sadhukhan latvmexit_min = cycles; 931ad879127SKrish Sadhukhan 932ad879127SKrish Sadhukhan vmexit_sum += cycles; 933ad879127SKrish Sadhukhan 934*096cf7feSPaolo Bonzini vmcb->save.rip += 3; 935ad879127SKrish Sadhukhan 936ad879127SKrish Sadhukhan runs -= 1; 937ad879127SKrish Sadhukhan 938ad879127SKrish Sadhukhan tsc_end = rdtsc(); 939ad879127SKrish Sadhukhan 940ad879127SKrish Sadhukhan return runs == 0; 941ad879127SKrish Sadhukhan } 942ad879127SKrish Sadhukhan 943ad879127SKrish Sadhukhan static bool latency_check(struct svm_test *test) 944ad879127SKrish Sadhukhan { 945ad879127SKrish Sadhukhan printf(" Latency VMRUN : max: %ld min: %ld avg: %ld\n", latvmrun_max, 946ad879127SKrish Sadhukhan latvmrun_min, vmrun_sum / LATENCY_RUNS); 947ad879127SKrish Sadhukhan printf(" Latency VMEXIT: max: %ld min: %ld avg: %ld\n", latvmexit_max, 948ad879127SKrish Sadhukhan latvmexit_min, vmexit_sum / LATENCY_RUNS); 949ad879127SKrish Sadhukhan return true; 950ad879127SKrish Sadhukhan } 951ad879127SKrish Sadhukhan 952ad879127SKrish Sadhukhan static void lat_svm_insn_prepare(struct svm_test *test) 953ad879127SKrish Sadhukhan { 954ad879127SKrish Sadhukhan default_prepare(test); 955ad879127SKrish Sadhukhan runs = LATENCY_RUNS; 956ad879127SKrish Sadhukhan latvmload_min = latvmsave_min = latstgi_min = latclgi_min = -1ULL; 957ad879127SKrish Sadhukhan latvmload_max = latvmsave_max = latstgi_max = latclgi_max = 0; 958ad879127SKrish Sadhukhan vmload_sum = vmsave_sum = stgi_sum = clgi_sum; 959ad879127SKrish Sadhukhan } 960ad879127SKrish Sadhukhan 961ad879127SKrish Sadhukhan static bool lat_svm_insn_finished(struct svm_test *test) 962ad879127SKrish Sadhukhan { 963*096cf7feSPaolo Bonzini u64 vmcb_phys = virt_to_phys(vmcb); 964ad879127SKrish Sadhukhan u64 cycles; 965ad879127SKrish Sadhukhan 966ad879127SKrish Sadhukhan for ( ; runs != 0; runs--) { 967ad879127SKrish Sadhukhan tsc_start = rdtsc(); 968ad879127SKrish Sadhukhan asm volatile("vmload %0\n\t" : : "a"(vmcb_phys) : "memory"); 969ad879127SKrish Sadhukhan cycles = rdtsc() - tsc_start; 970ad879127SKrish Sadhukhan if (cycles > latvmload_max) 971ad879127SKrish Sadhukhan latvmload_max = cycles; 972ad879127SKrish Sadhukhan if (cycles < latvmload_min) 973ad879127SKrish Sadhukhan latvmload_min = cycles; 974ad879127SKrish Sadhukhan vmload_sum += cycles; 975ad879127SKrish Sadhukhan 976ad879127SKrish Sadhukhan tsc_start = rdtsc(); 977ad879127SKrish Sadhukhan asm volatile("vmsave %0\n\t" : : "a"(vmcb_phys) : "memory"); 978ad879127SKrish Sadhukhan cycles = rdtsc() - tsc_start; 979ad879127SKrish Sadhukhan if (cycles > latvmsave_max) 980ad879127SKrish Sadhukhan latvmsave_max = cycles; 981ad879127SKrish Sadhukhan if (cycles < latvmsave_min) 982ad879127SKrish Sadhukhan latvmsave_min = cycles; 983ad879127SKrish Sadhukhan vmsave_sum += cycles; 984ad879127SKrish Sadhukhan 985ad879127SKrish Sadhukhan tsc_start = rdtsc(); 986ad879127SKrish Sadhukhan asm volatile("stgi\n\t"); 987ad879127SKrish Sadhukhan cycles = rdtsc() - tsc_start; 988ad879127SKrish Sadhukhan if (cycles > latstgi_max) 989ad879127SKrish Sadhukhan latstgi_max = cycles; 990ad879127SKrish Sadhukhan if (cycles < latstgi_min) 991ad879127SKrish Sadhukhan latstgi_min = cycles; 992ad879127SKrish Sadhukhan stgi_sum += cycles; 993ad879127SKrish Sadhukhan 994ad879127SKrish Sadhukhan tsc_start = rdtsc(); 995ad879127SKrish Sadhukhan asm volatile("clgi\n\t"); 996ad879127SKrish Sadhukhan cycles = rdtsc() - tsc_start; 997ad879127SKrish Sadhukhan if (cycles > latclgi_max) 998ad879127SKrish Sadhukhan latclgi_max = cycles; 999ad879127SKrish Sadhukhan if (cycles < latclgi_min) 1000ad879127SKrish Sadhukhan latclgi_min = cycles; 1001ad879127SKrish Sadhukhan clgi_sum += cycles; 1002ad879127SKrish Sadhukhan } 1003ad879127SKrish Sadhukhan 1004ad879127SKrish Sadhukhan tsc_end = rdtsc(); 1005ad879127SKrish Sadhukhan 1006ad879127SKrish Sadhukhan return true; 1007ad879127SKrish Sadhukhan } 1008ad879127SKrish Sadhukhan 1009ad879127SKrish Sadhukhan static bool lat_svm_insn_check(struct svm_test *test) 1010ad879127SKrish Sadhukhan { 1011ad879127SKrish Sadhukhan printf(" Latency VMLOAD: max: %ld min: %ld avg: %ld\n", latvmload_max, 1012ad879127SKrish Sadhukhan latvmload_min, vmload_sum / LATENCY_RUNS); 1013ad879127SKrish Sadhukhan printf(" Latency VMSAVE: max: %ld min: %ld avg: %ld\n", latvmsave_max, 1014ad879127SKrish Sadhukhan latvmsave_min, vmsave_sum / LATENCY_RUNS); 1015ad879127SKrish Sadhukhan printf(" Latency STGI: max: %ld min: %ld avg: %ld\n", latstgi_max, 1016ad879127SKrish Sadhukhan latstgi_min, stgi_sum / LATENCY_RUNS); 1017ad879127SKrish Sadhukhan printf(" Latency CLGI: max: %ld min: %ld avg: %ld\n", latclgi_max, 1018ad879127SKrish Sadhukhan latclgi_min, clgi_sum / LATENCY_RUNS); 1019ad879127SKrish Sadhukhan return true; 1020ad879127SKrish Sadhukhan } 1021ad879127SKrish Sadhukhan 1022ad879127SKrish Sadhukhan bool pending_event_ipi_fired; 1023ad879127SKrish Sadhukhan bool pending_event_guest_run; 1024ad879127SKrish Sadhukhan 1025ad879127SKrish Sadhukhan static void pending_event_ipi_isr(isr_regs_t *regs) 1026ad879127SKrish Sadhukhan { 1027ad879127SKrish Sadhukhan pending_event_ipi_fired = true; 1028ad879127SKrish Sadhukhan eoi(); 1029ad879127SKrish Sadhukhan } 1030ad879127SKrish Sadhukhan 1031ad879127SKrish Sadhukhan static void pending_event_prepare(struct svm_test *test) 1032ad879127SKrish Sadhukhan { 1033ad879127SKrish Sadhukhan int ipi_vector = 0xf1; 1034ad879127SKrish Sadhukhan 1035ad879127SKrish Sadhukhan default_prepare(test); 1036ad879127SKrish Sadhukhan 1037ad879127SKrish Sadhukhan pending_event_ipi_fired = false; 1038ad879127SKrish Sadhukhan 1039ad879127SKrish Sadhukhan handle_irq(ipi_vector, pending_event_ipi_isr); 1040ad879127SKrish Sadhukhan 1041ad879127SKrish Sadhukhan pending_event_guest_run = false; 1042ad879127SKrish Sadhukhan 1043*096cf7feSPaolo Bonzini vmcb->control.intercept |= (1ULL << INTERCEPT_INTR); 1044*096cf7feSPaolo Bonzini vmcb->control.int_ctl |= V_INTR_MASKING_MASK; 1045ad879127SKrish Sadhukhan 1046ad879127SKrish Sadhukhan apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | 1047ad879127SKrish Sadhukhan APIC_DM_FIXED | ipi_vector, 0); 1048ad879127SKrish Sadhukhan 1049ad879127SKrish Sadhukhan set_test_stage(test, 0); 1050ad879127SKrish Sadhukhan } 1051ad879127SKrish Sadhukhan 1052ad879127SKrish Sadhukhan static void pending_event_test(struct svm_test *test) 1053ad879127SKrish Sadhukhan { 1054ad879127SKrish Sadhukhan pending_event_guest_run = true; 1055ad879127SKrish Sadhukhan } 1056ad879127SKrish Sadhukhan 1057ad879127SKrish Sadhukhan static bool pending_event_finished(struct svm_test *test) 1058ad879127SKrish Sadhukhan { 1059ad879127SKrish Sadhukhan switch (get_test_stage(test)) { 1060ad879127SKrish Sadhukhan case 0: 1061*096cf7feSPaolo Bonzini if (vmcb->control.exit_code != SVM_EXIT_INTR) { 1062ad879127SKrish Sadhukhan report(false, "VMEXIT not due to pending interrupt. Exit reason 0x%x", 1063*096cf7feSPaolo Bonzini vmcb->control.exit_code); 1064ad879127SKrish Sadhukhan return true; 1065ad879127SKrish Sadhukhan } 1066ad879127SKrish Sadhukhan 1067*096cf7feSPaolo Bonzini vmcb->control.intercept &= ~(1ULL << INTERCEPT_INTR); 1068*096cf7feSPaolo Bonzini vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK; 1069ad879127SKrish Sadhukhan 1070ad879127SKrish Sadhukhan if (pending_event_guest_run) { 1071ad879127SKrish Sadhukhan report(false, "Guest ran before host received IPI\n"); 1072ad879127SKrish Sadhukhan return true; 1073ad879127SKrish Sadhukhan } 1074ad879127SKrish Sadhukhan 1075ad879127SKrish Sadhukhan irq_enable(); 1076ad879127SKrish Sadhukhan asm volatile ("nop"); 1077ad879127SKrish Sadhukhan irq_disable(); 1078ad879127SKrish Sadhukhan 1079ad879127SKrish Sadhukhan if (!pending_event_ipi_fired) { 1080ad879127SKrish Sadhukhan report(false, "Pending interrupt not dispatched after IRQ enabled\n"); 1081ad879127SKrish Sadhukhan return true; 1082ad879127SKrish Sadhukhan } 1083ad879127SKrish Sadhukhan break; 1084ad879127SKrish Sadhukhan 1085ad879127SKrish Sadhukhan case 1: 1086ad879127SKrish Sadhukhan if (!pending_event_guest_run) { 1087ad879127SKrish Sadhukhan report(false, "Guest did not resume when no interrupt\n"); 1088ad879127SKrish Sadhukhan return true; 1089ad879127SKrish Sadhukhan } 1090ad879127SKrish Sadhukhan break; 1091ad879127SKrish Sadhukhan } 1092ad879127SKrish Sadhukhan 1093ad879127SKrish Sadhukhan inc_test_stage(test); 1094ad879127SKrish Sadhukhan 1095ad879127SKrish Sadhukhan return get_test_stage(test) == 2; 1096ad879127SKrish Sadhukhan } 1097ad879127SKrish Sadhukhan 1098ad879127SKrish Sadhukhan static bool pending_event_check(struct svm_test *test) 1099ad879127SKrish Sadhukhan { 1100ad879127SKrish Sadhukhan return get_test_stage(test) == 2; 1101ad879127SKrish Sadhukhan } 1102ad879127SKrish Sadhukhan 110385dc2aceSPaolo Bonzini static void pending_event_cli_prepare(struct svm_test *test) 1104ad879127SKrish Sadhukhan { 1105ad879127SKrish Sadhukhan default_prepare(test); 1106ad879127SKrish Sadhukhan 1107ad879127SKrish Sadhukhan pending_event_ipi_fired = false; 1108ad879127SKrish Sadhukhan 1109ad879127SKrish Sadhukhan handle_irq(0xf1, pending_event_ipi_isr); 1110ad879127SKrish Sadhukhan 1111ad879127SKrish Sadhukhan apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | 1112ad879127SKrish Sadhukhan APIC_DM_FIXED | 0xf1, 0); 1113ad879127SKrish Sadhukhan 1114ad879127SKrish Sadhukhan set_test_stage(test, 0); 1115ad879127SKrish Sadhukhan } 1116ad879127SKrish Sadhukhan 111785dc2aceSPaolo Bonzini static void pending_event_cli_prepare_gif_clear(struct svm_test *test) 1118ad879127SKrish Sadhukhan { 1119ad879127SKrish Sadhukhan asm("cli"); 1120ad879127SKrish Sadhukhan } 1121ad879127SKrish Sadhukhan 112285dc2aceSPaolo Bonzini static void pending_event_cli_test(struct svm_test *test) 1123ad879127SKrish Sadhukhan { 1124ad879127SKrish Sadhukhan if (pending_event_ipi_fired == true) { 1125ad879127SKrish Sadhukhan set_test_stage(test, -1); 1126ad879127SKrish Sadhukhan report(false, "Interrupt preceeded guest"); 1127ad879127SKrish Sadhukhan vmmcall(); 1128ad879127SKrish Sadhukhan } 1129ad879127SKrish Sadhukhan 113085dc2aceSPaolo Bonzini /* VINTR_MASKING is zero. This should cause the IPI to fire. */ 1131ad879127SKrish Sadhukhan irq_enable(); 1132ad879127SKrish Sadhukhan asm volatile ("nop"); 1133ad879127SKrish Sadhukhan irq_disable(); 1134ad879127SKrish Sadhukhan 1135ad879127SKrish Sadhukhan if (pending_event_ipi_fired != true) { 1136ad879127SKrish Sadhukhan set_test_stage(test, -1); 1137ad879127SKrish Sadhukhan report(false, "Interrupt not triggered by guest"); 1138ad879127SKrish Sadhukhan } 1139ad879127SKrish Sadhukhan 1140ad879127SKrish Sadhukhan vmmcall(); 1141ad879127SKrish Sadhukhan 114285dc2aceSPaolo Bonzini /* 114385dc2aceSPaolo Bonzini * Now VINTR_MASKING=1, but no interrupt is pending so 114485dc2aceSPaolo Bonzini * the VINTR interception should be clear in VMCB02. Check 114585dc2aceSPaolo Bonzini * that L0 did not leave a stale VINTR in the VMCB. 114685dc2aceSPaolo Bonzini */ 1147ad879127SKrish Sadhukhan irq_enable(); 1148ad879127SKrish Sadhukhan asm volatile ("nop"); 1149ad879127SKrish Sadhukhan irq_disable(); 1150ad879127SKrish Sadhukhan } 1151ad879127SKrish Sadhukhan 115285dc2aceSPaolo Bonzini static bool pending_event_cli_finished(struct svm_test *test) 1153ad879127SKrish Sadhukhan { 1154*096cf7feSPaolo Bonzini if ( vmcb->control.exit_code != SVM_EXIT_VMMCALL) { 1155ad879127SKrish Sadhukhan report(false, "VM_EXIT return to host is not EXIT_VMMCALL exit reason 0x%x", 1156*096cf7feSPaolo Bonzini vmcb->control.exit_code); 1157ad879127SKrish Sadhukhan return true; 1158ad879127SKrish Sadhukhan } 1159ad879127SKrish Sadhukhan 1160ad879127SKrish Sadhukhan switch (get_test_stage(test)) { 1161ad879127SKrish Sadhukhan case 0: 1162*096cf7feSPaolo Bonzini vmcb->save.rip += 3; 1163ad879127SKrish Sadhukhan 1164ad879127SKrish Sadhukhan pending_event_ipi_fired = false; 1165ad879127SKrish Sadhukhan 1166*096cf7feSPaolo Bonzini vmcb->control.int_ctl |= V_INTR_MASKING_MASK; 1167ad879127SKrish Sadhukhan 116885dc2aceSPaolo Bonzini /* Now entering again with VINTR_MASKING=1. */ 1169ad879127SKrish Sadhukhan apic_icr_write(APIC_DEST_SELF | APIC_DEST_PHYSICAL | 1170ad879127SKrish Sadhukhan APIC_DM_FIXED | 0xf1, 0); 1171ad879127SKrish Sadhukhan 1172ad879127SKrish Sadhukhan break; 1173ad879127SKrish Sadhukhan 1174ad879127SKrish Sadhukhan case 1: 1175ad879127SKrish Sadhukhan if (pending_event_ipi_fired == true) { 1176ad879127SKrish Sadhukhan report(false, "Interrupt triggered by guest"); 1177ad879127SKrish Sadhukhan return true; 1178ad879127SKrish Sadhukhan } 1179ad879127SKrish Sadhukhan 1180ad879127SKrish Sadhukhan irq_enable(); 1181ad879127SKrish Sadhukhan asm volatile ("nop"); 1182ad879127SKrish Sadhukhan irq_disable(); 1183ad879127SKrish Sadhukhan 1184ad879127SKrish Sadhukhan if (pending_event_ipi_fired != true) { 1185ad879127SKrish Sadhukhan report(false, "Interrupt not triggered by host"); 1186ad879127SKrish Sadhukhan return true; 1187ad879127SKrish Sadhukhan } 1188ad879127SKrish Sadhukhan 1189ad879127SKrish Sadhukhan break; 1190ad879127SKrish Sadhukhan 1191ad879127SKrish Sadhukhan default: 1192ad879127SKrish Sadhukhan return true; 1193ad879127SKrish Sadhukhan } 1194ad879127SKrish Sadhukhan 1195ad879127SKrish Sadhukhan inc_test_stage(test); 1196ad879127SKrish Sadhukhan 1197ad879127SKrish Sadhukhan return get_test_stage(test) == 2; 1198ad879127SKrish Sadhukhan } 1199ad879127SKrish Sadhukhan 120085dc2aceSPaolo Bonzini static bool pending_event_cli_check(struct svm_test *test) 1201ad879127SKrish Sadhukhan { 1202ad879127SKrish Sadhukhan return get_test_stage(test) == 2; 1203ad879127SKrish Sadhukhan } 1204ad879127SKrish Sadhukhan 120585dc2aceSPaolo Bonzini #define TIMER_VECTOR 222 120685dc2aceSPaolo Bonzini 120785dc2aceSPaolo Bonzini static volatile bool timer_fired; 120885dc2aceSPaolo Bonzini 120985dc2aceSPaolo Bonzini static void timer_isr(isr_regs_t *regs) 121085dc2aceSPaolo Bonzini { 121185dc2aceSPaolo Bonzini timer_fired = true; 121285dc2aceSPaolo Bonzini apic_write(APIC_EOI, 0); 121385dc2aceSPaolo Bonzini } 121485dc2aceSPaolo Bonzini 121585dc2aceSPaolo Bonzini static void interrupt_prepare(struct svm_test *test) 121685dc2aceSPaolo Bonzini { 121785dc2aceSPaolo Bonzini default_prepare(test); 121885dc2aceSPaolo Bonzini handle_irq(TIMER_VECTOR, timer_isr); 121985dc2aceSPaolo Bonzini timer_fired = false; 122085dc2aceSPaolo Bonzini set_test_stage(test, 0); 122185dc2aceSPaolo Bonzini } 122285dc2aceSPaolo Bonzini 122385dc2aceSPaolo Bonzini static void interrupt_test(struct svm_test *test) 122485dc2aceSPaolo Bonzini { 122585dc2aceSPaolo Bonzini long long start, loops; 122685dc2aceSPaolo Bonzini 122785dc2aceSPaolo Bonzini apic_write(APIC_LVTT, TIMER_VECTOR); 122885dc2aceSPaolo Bonzini irq_enable(); 122985dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 1); //Timer Initial Count Register 0x380 one-shot 123085dc2aceSPaolo Bonzini for (loops = 0; loops < 10000000 && !timer_fired; loops++) 123185dc2aceSPaolo Bonzini asm volatile ("nop"); 123285dc2aceSPaolo Bonzini 123385dc2aceSPaolo Bonzini report(timer_fired, "direct interrupt while running guest"); 123485dc2aceSPaolo Bonzini 123585dc2aceSPaolo Bonzini if (!timer_fired) { 123685dc2aceSPaolo Bonzini set_test_stage(test, -1); 123785dc2aceSPaolo Bonzini vmmcall(); 123885dc2aceSPaolo Bonzini } 123985dc2aceSPaolo Bonzini 124085dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 0); 124185dc2aceSPaolo Bonzini irq_disable(); 124285dc2aceSPaolo Bonzini vmmcall(); 124385dc2aceSPaolo Bonzini 124485dc2aceSPaolo Bonzini timer_fired = false; 124585dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 1); 124685dc2aceSPaolo Bonzini for (loops = 0; loops < 10000000 && !timer_fired; loops++) 124785dc2aceSPaolo Bonzini asm volatile ("nop"); 124885dc2aceSPaolo Bonzini 124985dc2aceSPaolo Bonzini report(timer_fired, "intercepted interrupt while running guest"); 125085dc2aceSPaolo Bonzini 125185dc2aceSPaolo Bonzini if (!timer_fired) { 125285dc2aceSPaolo Bonzini set_test_stage(test, -1); 125385dc2aceSPaolo Bonzini vmmcall(); 125485dc2aceSPaolo Bonzini } 125585dc2aceSPaolo Bonzini 125685dc2aceSPaolo Bonzini irq_enable(); 125785dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 0); 125885dc2aceSPaolo Bonzini irq_disable(); 125985dc2aceSPaolo Bonzini 126085dc2aceSPaolo Bonzini timer_fired = false; 126185dc2aceSPaolo Bonzini start = rdtsc(); 126285dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 1000000); 126385dc2aceSPaolo Bonzini asm volatile ("sti; hlt"); 126485dc2aceSPaolo Bonzini 126585dc2aceSPaolo Bonzini report(rdtsc() - start > 10000 && timer_fired, 126685dc2aceSPaolo Bonzini "direct interrupt + hlt"); 126785dc2aceSPaolo Bonzini 126885dc2aceSPaolo Bonzini if (!timer_fired) { 126985dc2aceSPaolo Bonzini set_test_stage(test, -1); 127085dc2aceSPaolo Bonzini vmmcall(); 127185dc2aceSPaolo Bonzini } 127285dc2aceSPaolo Bonzini 127385dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 0); 127485dc2aceSPaolo Bonzini irq_disable(); 127585dc2aceSPaolo Bonzini vmmcall(); 127685dc2aceSPaolo Bonzini 127785dc2aceSPaolo Bonzini timer_fired = false; 127885dc2aceSPaolo Bonzini start = rdtsc(); 127985dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 1000000); 128085dc2aceSPaolo Bonzini asm volatile ("hlt"); 128185dc2aceSPaolo Bonzini 128285dc2aceSPaolo Bonzini report(rdtsc() - start > 10000 && timer_fired, 128385dc2aceSPaolo Bonzini "intercepted interrupt + hlt"); 128485dc2aceSPaolo Bonzini 128585dc2aceSPaolo Bonzini if (!timer_fired) { 128685dc2aceSPaolo Bonzini set_test_stage(test, -1); 128785dc2aceSPaolo Bonzini vmmcall(); 128885dc2aceSPaolo Bonzini } 128985dc2aceSPaolo Bonzini 129085dc2aceSPaolo Bonzini apic_write(APIC_TMICT, 0); 129185dc2aceSPaolo Bonzini irq_disable(); 129285dc2aceSPaolo Bonzini } 129385dc2aceSPaolo Bonzini 129485dc2aceSPaolo Bonzini static bool interrupt_finished(struct svm_test *test) 129585dc2aceSPaolo Bonzini { 129685dc2aceSPaolo Bonzini switch (get_test_stage(test)) { 129785dc2aceSPaolo Bonzini case 0: 129885dc2aceSPaolo Bonzini case 2: 1299*096cf7feSPaolo Bonzini if (vmcb->control.exit_code != SVM_EXIT_VMMCALL) { 130085dc2aceSPaolo Bonzini report(false, "VMEXIT not due to vmmcall. Exit reason 0x%x", 1301*096cf7feSPaolo Bonzini vmcb->control.exit_code); 130285dc2aceSPaolo Bonzini return true; 130385dc2aceSPaolo Bonzini } 1304*096cf7feSPaolo Bonzini vmcb->save.rip += 3; 130585dc2aceSPaolo Bonzini 1306*096cf7feSPaolo Bonzini vmcb->control.intercept |= (1ULL << INTERCEPT_INTR); 1307*096cf7feSPaolo Bonzini vmcb->control.int_ctl |= V_INTR_MASKING_MASK; 130885dc2aceSPaolo Bonzini break; 130985dc2aceSPaolo Bonzini 131085dc2aceSPaolo Bonzini case 1: 131185dc2aceSPaolo Bonzini case 3: 1312*096cf7feSPaolo Bonzini if (vmcb->control.exit_code != SVM_EXIT_INTR) { 131385dc2aceSPaolo Bonzini report(false, "VMEXIT not due to intr intercept. Exit reason 0x%x", 1314*096cf7feSPaolo Bonzini vmcb->control.exit_code); 131585dc2aceSPaolo Bonzini return true; 131685dc2aceSPaolo Bonzini } 131785dc2aceSPaolo Bonzini 131885dc2aceSPaolo Bonzini irq_enable(); 131985dc2aceSPaolo Bonzini asm volatile ("nop"); 132085dc2aceSPaolo Bonzini irq_disable(); 132185dc2aceSPaolo Bonzini 1322*096cf7feSPaolo Bonzini vmcb->control.intercept &= ~(1ULL << INTERCEPT_INTR); 1323*096cf7feSPaolo Bonzini vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK; 132485dc2aceSPaolo Bonzini break; 132585dc2aceSPaolo Bonzini 132685dc2aceSPaolo Bonzini case 4: 132785dc2aceSPaolo Bonzini break; 132885dc2aceSPaolo Bonzini 132985dc2aceSPaolo Bonzini default: 133085dc2aceSPaolo Bonzini return true; 133185dc2aceSPaolo Bonzini } 133285dc2aceSPaolo Bonzini 133385dc2aceSPaolo Bonzini inc_test_stage(test); 133485dc2aceSPaolo Bonzini 133585dc2aceSPaolo Bonzini return get_test_stage(test) == 5; 133685dc2aceSPaolo Bonzini } 133785dc2aceSPaolo Bonzini 133885dc2aceSPaolo Bonzini static bool interrupt_check(struct svm_test *test) 133985dc2aceSPaolo Bonzini { 134085dc2aceSPaolo Bonzini return get_test_stage(test) == 5; 134185dc2aceSPaolo Bonzini } 134285dc2aceSPaolo Bonzini 1343ad879127SKrish Sadhukhan struct svm_test svm_tests[] = { 1344ad879127SKrish Sadhukhan { "null", default_supported, default_prepare, 1345ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, 1346ad879127SKrish Sadhukhan default_finished, null_check }, 1347ad879127SKrish Sadhukhan { "vmrun", default_supported, default_prepare, 1348ad879127SKrish Sadhukhan default_prepare_gif_clear, test_vmrun, 1349ad879127SKrish Sadhukhan default_finished, check_vmrun }, 1350ad879127SKrish Sadhukhan { "ioio", default_supported, prepare_ioio, 1351ad879127SKrish Sadhukhan default_prepare_gif_clear, test_ioio, 1352ad879127SKrish Sadhukhan ioio_finished, check_ioio }, 1353ad879127SKrish Sadhukhan { "vmrun intercept check", default_supported, prepare_no_vmrun_int, 1354ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, default_finished, 1355ad879127SKrish Sadhukhan check_no_vmrun_int }, 1356ad879127SKrish Sadhukhan { "cr3 read intercept", default_supported, 1357ad879127SKrish Sadhukhan prepare_cr3_intercept, default_prepare_gif_clear, 1358ad879127SKrish Sadhukhan test_cr3_intercept, default_finished, check_cr3_intercept }, 1359ad879127SKrish Sadhukhan { "cr3 read nointercept", default_supported, default_prepare, 1360ad879127SKrish Sadhukhan default_prepare_gif_clear, test_cr3_intercept, default_finished, 1361ad879127SKrish Sadhukhan check_cr3_nointercept }, 1362ad879127SKrish Sadhukhan { "cr3 read intercept emulate", smp_supported, 1363ad879127SKrish Sadhukhan prepare_cr3_intercept_bypass, default_prepare_gif_clear, 1364ad879127SKrish Sadhukhan test_cr3_intercept_bypass, default_finished, check_cr3_intercept }, 1365ad879127SKrish Sadhukhan { "dr intercept check", default_supported, prepare_dr_intercept, 1366ad879127SKrish Sadhukhan default_prepare_gif_clear, test_dr_intercept, dr_intercept_finished, 1367ad879127SKrish Sadhukhan check_dr_intercept }, 1368ad879127SKrish Sadhukhan { "next_rip", next_rip_supported, prepare_next_rip, 1369ad879127SKrish Sadhukhan default_prepare_gif_clear, test_next_rip, 1370ad879127SKrish Sadhukhan default_finished, check_next_rip }, 1371ad879127SKrish Sadhukhan { "msr intercept check", default_supported, prepare_msr_intercept, 1372ad879127SKrish Sadhukhan default_prepare_gif_clear, test_msr_intercept, 1373ad879127SKrish Sadhukhan msr_intercept_finished, check_msr_intercept }, 1374ad879127SKrish Sadhukhan { "mode_switch", default_supported, prepare_mode_switch, 1375ad879127SKrish Sadhukhan default_prepare_gif_clear, test_mode_switch, 1376ad879127SKrish Sadhukhan mode_switch_finished, check_mode_switch }, 1377ad879127SKrish Sadhukhan { "asid_zero", default_supported, prepare_asid_zero, 1378ad879127SKrish Sadhukhan default_prepare_gif_clear, test_asid_zero, 1379ad879127SKrish Sadhukhan default_finished, check_asid_zero }, 1380ad879127SKrish Sadhukhan { "sel_cr0_bug", default_supported, sel_cr0_bug_prepare, 1381ad879127SKrish Sadhukhan default_prepare_gif_clear, sel_cr0_bug_test, 1382ad879127SKrish Sadhukhan sel_cr0_bug_finished, sel_cr0_bug_check }, 1383ad879127SKrish Sadhukhan { "npt_nx", npt_supported, npt_nx_prepare, 1384ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, 1385ad879127SKrish Sadhukhan default_finished, npt_nx_check }, 1386ad879127SKrish Sadhukhan { "npt_us", npt_supported, npt_us_prepare, 1387ad879127SKrish Sadhukhan default_prepare_gif_clear, npt_us_test, 1388ad879127SKrish Sadhukhan default_finished, npt_us_check }, 1389ad879127SKrish Sadhukhan { "npt_rsvd", npt_supported, npt_rsvd_prepare, 1390ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, 1391ad879127SKrish Sadhukhan default_finished, npt_rsvd_check }, 1392ad879127SKrish Sadhukhan { "npt_rw", npt_supported, npt_rw_prepare, 1393ad879127SKrish Sadhukhan default_prepare_gif_clear, npt_rw_test, 1394ad879127SKrish Sadhukhan default_finished, npt_rw_check }, 1395ad879127SKrish Sadhukhan { "npt_rsvd_pfwalk", npt_supported, npt_rsvd_pfwalk_prepare, 1396ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, 1397ad879127SKrish Sadhukhan default_finished, npt_rsvd_pfwalk_check }, 1398ad879127SKrish Sadhukhan { "npt_rw_pfwalk", npt_supported, npt_rw_pfwalk_prepare, 1399ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, 1400ad879127SKrish Sadhukhan default_finished, npt_rw_pfwalk_check }, 1401ad879127SKrish Sadhukhan { "npt_l1mmio", npt_supported, npt_l1mmio_prepare, 1402ad879127SKrish Sadhukhan default_prepare_gif_clear, npt_l1mmio_test, 1403ad879127SKrish Sadhukhan default_finished, npt_l1mmio_check }, 1404ad879127SKrish Sadhukhan { "npt_rw_l1mmio", npt_supported, npt_rw_l1mmio_prepare, 1405ad879127SKrish Sadhukhan default_prepare_gif_clear, npt_rw_l1mmio_test, 1406ad879127SKrish Sadhukhan default_finished, npt_rw_l1mmio_check }, 1407ad879127SKrish Sadhukhan { "tsc_adjust", default_supported, tsc_adjust_prepare, 1408ad879127SKrish Sadhukhan default_prepare_gif_clear, tsc_adjust_test, 1409ad879127SKrish Sadhukhan default_finished, tsc_adjust_check }, 1410ad879127SKrish Sadhukhan { "latency_run_exit", default_supported, latency_prepare, 1411ad879127SKrish Sadhukhan default_prepare_gif_clear, latency_test, 1412ad879127SKrish Sadhukhan latency_finished, latency_check }, 1413ad879127SKrish Sadhukhan { "latency_svm_insn", default_supported, lat_svm_insn_prepare, 1414ad879127SKrish Sadhukhan default_prepare_gif_clear, null_test, 1415ad879127SKrish Sadhukhan lat_svm_insn_finished, lat_svm_insn_check }, 1416ad879127SKrish Sadhukhan { "pending_event", default_supported, pending_event_prepare, 1417ad879127SKrish Sadhukhan default_prepare_gif_clear, 1418ad879127SKrish Sadhukhan pending_event_test, pending_event_finished, pending_event_check }, 141985dc2aceSPaolo Bonzini { "pending_event_cli", default_supported, pending_event_cli_prepare, 142085dc2aceSPaolo Bonzini pending_event_cli_prepare_gif_clear, 142185dc2aceSPaolo Bonzini pending_event_cli_test, pending_event_cli_finished, 142285dc2aceSPaolo Bonzini pending_event_cli_check }, 142385dc2aceSPaolo Bonzini { "interrupt", default_supported, interrupt_prepare, 142485dc2aceSPaolo Bonzini default_prepare_gif_clear, interrupt_test, 142585dc2aceSPaolo Bonzini interrupt_finished, interrupt_check }, 1426ad879127SKrish Sadhukhan { NULL, NULL, NULL, NULL, NULL, NULL, NULL } 1427ad879127SKrish Sadhukhan }; 1428