17ada359dSArthur Chunqi Li /* 27ada359dSArthur Chunqi Li * x86/vmx.c : Framework for testing nested virtualization 37ada359dSArthur Chunqi Li * This is a framework to test nested VMX for KVM, which 47ada359dSArthur Chunqi Li * started as a project of GSoC 2013. All test cases should 57ada359dSArthur Chunqi Li * be located in x86/vmx_tests.c and framework related 67ada359dSArthur Chunqi Li * functions should be in this file. 77ada359dSArthur Chunqi Li * 87ada359dSArthur Chunqi Li * How to write test cases? 97ada359dSArthur Chunqi Li * Add callbacks of test suite in variant "vmx_tests". You can 107ada359dSArthur Chunqi Li * write: 117ada359dSArthur Chunqi Li * 1. init function used for initializing test suite 127ada359dSArthur Chunqi Li * 2. main function for codes running in L2 guest, 137ada359dSArthur Chunqi Li * 3. exit_handler to handle vmexit of L2 to L1 147ada359dSArthur Chunqi Li * 4. syscall handler to handle L2 syscall vmexit 157ada359dSArthur Chunqi Li * 5. vmenter fail handler to handle direct failure of vmenter 167ada359dSArthur Chunqi Li * 6. guest_regs is loaded when vmenter and saved when 177ada359dSArthur Chunqi Li * vmexit, you can read and set it in exit_handler 187ada359dSArthur Chunqi Li * If no special function is needed for a test suite, use 197ada359dSArthur Chunqi Li * coressponding basic_* functions as callback. More handlers 207ada359dSArthur Chunqi Li * can be added to "vmx_tests", see details of "struct vmx_test" 217ada359dSArthur Chunqi Li * and function test_run(). 227ada359dSArthur Chunqi Li * 237ada359dSArthur Chunqi Li * Currently, vmx test framework only set up one VCPU and one 247ada359dSArthur Chunqi Li * concurrent guest test environment with same paging for L2 and 257ada359dSArthur Chunqi Li * L1. For usage of EPT, only 1:1 mapped paging is used from VFN 267ada359dSArthur Chunqi Li * to PFN. 277ada359dSArthur Chunqi Li * 287ada359dSArthur Chunqi Li * Author : Arthur Chunqi Li <yzt356@gmail.com> 297ada359dSArthur Chunqi Li */ 307ada359dSArthur Chunqi Li 319d7eaa29SArthur Chunqi Li #include "libcflat.h" 329d7eaa29SArthur Chunqi Li #include "processor.h" 339d7eaa29SArthur Chunqi Li #include "vm.h" 349d7eaa29SArthur Chunqi Li #include "desc.h" 359d7eaa29SArthur Chunqi Li #include "vmx.h" 369d7eaa29SArthur Chunqi Li #include "msr.h" 379d7eaa29SArthur Chunqi Li #include "smp.h" 389d7eaa29SArthur Chunqi Li #include "io.h" 399d7eaa29SArthur Chunqi Li 403ee34093SArthur Chunqi Li int fails, tests; 419d7eaa29SArthur Chunqi Li u32 *vmxon_region; 429d7eaa29SArthur Chunqi Li struct vmcs *vmcs_root; 439d7eaa29SArthur Chunqi Li u32 vpid_cnt; 449d7eaa29SArthur Chunqi Li void *guest_stack, *guest_syscall_stack; 459d7eaa29SArthur Chunqi Li u32 ctrl_pin, ctrl_enter, ctrl_exit, ctrl_cpu[2]; 469d7eaa29SArthur Chunqi Li struct regs regs; 479d7eaa29SArthur Chunqi Li struct vmx_test *current; 483ee34093SArthur Chunqi Li u64 hypercall_field; 499d7eaa29SArthur Chunqi Li bool launched; 501d9284d0SArthur Chunqi Li u64 host_rflags; 519d7eaa29SArthur Chunqi Li 523ee34093SArthur Chunqi Li union vmx_basic basic; 533ee34093SArthur Chunqi Li union vmx_ctrl_pin ctrl_pin_rev; 543ee34093SArthur Chunqi Li union vmx_ctrl_cpu ctrl_cpu_rev[2]; 553ee34093SArthur Chunqi Li union vmx_ctrl_exit ctrl_exit_rev; 563ee34093SArthur Chunqi Li union vmx_ctrl_ent ctrl_enter_rev; 573ee34093SArthur Chunqi Li union vmx_ept_vpid ept_vpid; 583ee34093SArthur Chunqi Li 59337166aaSJan Kiszka extern struct descriptor_table_ptr gdt64_desc; 60337166aaSJan Kiszka extern struct descriptor_table_ptr idt_descr; 61337166aaSJan Kiszka extern struct descriptor_table_ptr tss_descr; 629d7eaa29SArthur Chunqi Li extern void *vmx_return; 639d7eaa29SArthur Chunqi Li extern void *entry_sysenter; 649d7eaa29SArthur Chunqi Li extern void *guest_entry; 659d7eaa29SArthur Chunqi Li 663ee34093SArthur Chunqi Li void report(const char *name, int result) 679d7eaa29SArthur Chunqi Li { 689d7eaa29SArthur Chunqi Li ++tests; 699d7eaa29SArthur Chunqi Li if (result) 709d7eaa29SArthur Chunqi Li printf("PASS: %s\n", name); 719d7eaa29SArthur Chunqi Li else { 729d7eaa29SArthur Chunqi Li printf("FAIL: %s\n", name); 739d7eaa29SArthur Chunqi Li ++fails; 749d7eaa29SArthur Chunqi Li } 759d7eaa29SArthur Chunqi Li } 769d7eaa29SArthur Chunqi Li 779d7eaa29SArthur Chunqi Li static int make_vmcs_current(struct vmcs *vmcs) 789d7eaa29SArthur Chunqi Li { 799d7eaa29SArthur Chunqi Li bool ret; 809d7eaa29SArthur Chunqi Li 819d7eaa29SArthur Chunqi Li asm volatile ("vmptrld %1; setbe %0" : "=q" (ret) : "m" (vmcs) : "cc"); 829d7eaa29SArthur Chunqi Li return ret; 839d7eaa29SArthur Chunqi Li } 849d7eaa29SArthur Chunqi Li 859d7eaa29SArthur Chunqi Li /* entry_sysenter */ 869d7eaa29SArthur Chunqi Li asm( 879d7eaa29SArthur Chunqi Li ".align 4, 0x90\n\t" 889d7eaa29SArthur Chunqi Li ".globl entry_sysenter\n\t" 899d7eaa29SArthur Chunqi Li "entry_sysenter:\n\t" 909d7eaa29SArthur Chunqi Li SAVE_GPR 919d7eaa29SArthur Chunqi Li " and $0xf, %rax\n\t" 929d7eaa29SArthur Chunqi Li " mov %rax, %rdi\n\t" 939d7eaa29SArthur Chunqi Li " call syscall_handler\n\t" 949d7eaa29SArthur Chunqi Li LOAD_GPR 959d7eaa29SArthur Chunqi Li " vmresume\n\t" 969d7eaa29SArthur Chunqi Li ); 979d7eaa29SArthur Chunqi Li 989d7eaa29SArthur Chunqi Li static void __attribute__((__used__)) syscall_handler(u64 syscall_no) 999d7eaa29SArthur Chunqi Li { 100*d5315e3dSJan Kiszka if (current->syscall_handler) 1019d7eaa29SArthur Chunqi Li current->syscall_handler(syscall_no); 1029d7eaa29SArthur Chunqi Li } 1039d7eaa29SArthur Chunqi Li 1049d7eaa29SArthur Chunqi Li static inline int vmx_on() 1059d7eaa29SArthur Chunqi Li { 1069d7eaa29SArthur Chunqi Li bool ret; 1079d7eaa29SArthur Chunqi Li asm volatile ("vmxon %1; setbe %0\n\t" 1089d7eaa29SArthur Chunqi Li : "=q"(ret) : "m"(vmxon_region) : "cc"); 1099d7eaa29SArthur Chunqi Li return ret; 1109d7eaa29SArthur Chunqi Li } 1119d7eaa29SArthur Chunqi Li 1129d7eaa29SArthur Chunqi Li static inline int vmx_off() 1139d7eaa29SArthur Chunqi Li { 1149d7eaa29SArthur Chunqi Li bool ret; 1159d7eaa29SArthur Chunqi Li asm volatile("vmxoff; setbe %0\n\t" 1169d7eaa29SArthur Chunqi Li : "=q"(ret) : : "cc"); 1179d7eaa29SArthur Chunqi Li return ret; 1189d7eaa29SArthur Chunqi Li } 1199d7eaa29SArthur Chunqi Li 1203ee34093SArthur Chunqi Li void print_vmexit_info() 1219d7eaa29SArthur Chunqi Li { 1229d7eaa29SArthur Chunqi Li u64 guest_rip, guest_rsp; 1239d7eaa29SArthur Chunqi Li ulong reason = vmcs_read(EXI_REASON) & 0xff; 1249d7eaa29SArthur Chunqi Li ulong exit_qual = vmcs_read(EXI_QUALIFICATION); 1259d7eaa29SArthur Chunqi Li guest_rip = vmcs_read(GUEST_RIP); 1269d7eaa29SArthur Chunqi Li guest_rsp = vmcs_read(GUEST_RSP); 1279d7eaa29SArthur Chunqi Li printf("VMEXIT info:\n"); 1289d7eaa29SArthur Chunqi Li printf("\tvmexit reason = %d\n", reason); 1299d7eaa29SArthur Chunqi Li printf("\texit qualification = 0x%x\n", exit_qual); 1309d7eaa29SArthur Chunqi Li printf("\tBit 31 of reason = %x\n", (vmcs_read(EXI_REASON) >> 31) & 1); 1319d7eaa29SArthur Chunqi Li printf("\tguest_rip = 0x%llx\n", guest_rip); 1329d7eaa29SArthur Chunqi Li printf("\tRAX=0x%llx RBX=0x%llx RCX=0x%llx RDX=0x%llx\n", 1339d7eaa29SArthur Chunqi Li regs.rax, regs.rbx, regs.rcx, regs.rdx); 1349d7eaa29SArthur Chunqi Li printf("\tRSP=0x%llx RBP=0x%llx RSI=0x%llx RDI=0x%llx\n", 1359d7eaa29SArthur Chunqi Li guest_rsp, regs.rbp, regs.rsi, regs.rdi); 1369d7eaa29SArthur Chunqi Li printf("\tR8 =0x%llx R9 =0x%llx R10=0x%llx R11=0x%llx\n", 1379d7eaa29SArthur Chunqi Li regs.r8, regs.r9, regs.r10, regs.r11); 1389d7eaa29SArthur Chunqi Li printf("\tR12=0x%llx R13=0x%llx R14=0x%llx R15=0x%llx\n", 1399d7eaa29SArthur Chunqi Li regs.r12, regs.r13, regs.r14, regs.r15); 1409d7eaa29SArthur Chunqi Li } 1419d7eaa29SArthur Chunqi Li 1429d7eaa29SArthur Chunqi Li static void test_vmclear(void) 1439d7eaa29SArthur Chunqi Li { 1449d7eaa29SArthur Chunqi Li u64 rflags; 1459d7eaa29SArthur Chunqi Li 1469d7eaa29SArthur Chunqi Li rflags = read_rflags() | X86_EFLAGS_CF | X86_EFLAGS_ZF; 1479d7eaa29SArthur Chunqi Li write_rflags(rflags); 1489d7eaa29SArthur Chunqi Li report("test vmclear", vmcs_clear(vmcs_root) == 0); 1499d7eaa29SArthur Chunqi Li } 1509d7eaa29SArthur Chunqi Li 1519d7eaa29SArthur Chunqi Li static void test_vmxoff(void) 1529d7eaa29SArthur Chunqi Li { 1539d7eaa29SArthur Chunqi Li int ret; 1549d7eaa29SArthur Chunqi Li u64 rflags; 1559d7eaa29SArthur Chunqi Li 1569d7eaa29SArthur Chunqi Li rflags = read_rflags() | X86_EFLAGS_CF | X86_EFLAGS_ZF; 1579d7eaa29SArthur Chunqi Li write_rflags(rflags); 1589d7eaa29SArthur Chunqi Li ret = vmx_off(); 1599d7eaa29SArthur Chunqi Li report("test vmxoff", !ret); 1609d7eaa29SArthur Chunqi Li } 1619d7eaa29SArthur Chunqi Li 1629d7eaa29SArthur Chunqi Li static void __attribute__((__used__)) guest_main(void) 1639d7eaa29SArthur Chunqi Li { 1649d7eaa29SArthur Chunqi Li current->guest_main(); 1659d7eaa29SArthur Chunqi Li } 1669d7eaa29SArthur Chunqi Li 1679d7eaa29SArthur Chunqi Li /* guest_entry */ 1689d7eaa29SArthur Chunqi Li asm( 1699d7eaa29SArthur Chunqi Li ".align 4, 0x90\n\t" 1709d7eaa29SArthur Chunqi Li ".globl entry_guest\n\t" 1719d7eaa29SArthur Chunqi Li "guest_entry:\n\t" 1729d7eaa29SArthur Chunqi Li " call guest_main\n\t" 1739d7eaa29SArthur Chunqi Li " mov $1, %edi\n\t" 1749d7eaa29SArthur Chunqi Li " call hypercall\n\t" 1759d7eaa29SArthur Chunqi Li ); 1769d7eaa29SArthur Chunqi Li 1776884af61SArthur Chunqi Li /* EPT paging structure related functions */ 1786884af61SArthur Chunqi Li /* install_ept_entry : Install a page to a given level in EPT 1796884af61SArthur Chunqi Li @pml4 : addr of pml4 table 1806884af61SArthur Chunqi Li @pte_level : level of PTE to set 1816884af61SArthur Chunqi Li @guest_addr : physical address of guest 1826884af61SArthur Chunqi Li @pte : pte value to set 1836884af61SArthur Chunqi Li @pt_page : address of page table, NULL for a new page 1846884af61SArthur Chunqi Li */ 1856884af61SArthur Chunqi Li void install_ept_entry(unsigned long *pml4, 1866884af61SArthur Chunqi Li int pte_level, 1876884af61SArthur Chunqi Li unsigned long guest_addr, 1886884af61SArthur Chunqi Li unsigned long pte, 1896884af61SArthur Chunqi Li unsigned long *pt_page) 1906884af61SArthur Chunqi Li { 1916884af61SArthur Chunqi Li int level; 1926884af61SArthur Chunqi Li unsigned long *pt = pml4; 1936884af61SArthur Chunqi Li unsigned offset; 1946884af61SArthur Chunqi Li 1956884af61SArthur Chunqi Li for (level = EPT_PAGE_LEVEL; level > pte_level; --level) { 1966884af61SArthur Chunqi Li offset = (guest_addr >> ((level-1) * EPT_PGDIR_WIDTH + 12)) 1976884af61SArthur Chunqi Li & EPT_PGDIR_MASK; 1986884af61SArthur Chunqi Li if (!(pt[offset] & (EPT_PRESENT))) { 1996884af61SArthur Chunqi Li unsigned long *new_pt = pt_page; 2006884af61SArthur Chunqi Li if (!new_pt) 2016884af61SArthur Chunqi Li new_pt = alloc_page(); 2026884af61SArthur Chunqi Li else 2036884af61SArthur Chunqi Li pt_page = 0; 2046884af61SArthur Chunqi Li memset(new_pt, 0, PAGE_SIZE); 2056884af61SArthur Chunqi Li pt[offset] = virt_to_phys(new_pt) 2066884af61SArthur Chunqi Li | EPT_RA | EPT_WA | EPT_EA; 20704b0e0f3SJan Kiszka } else 20804b0e0f3SJan Kiszka pt[offset] &= ~EPT_LARGE_PAGE; 2096884af61SArthur Chunqi Li pt = phys_to_virt(pt[offset] & 0xffffffffff000ull); 2106884af61SArthur Chunqi Li } 2116884af61SArthur Chunqi Li offset = ((unsigned long)guest_addr >> ((level-1) * 2126884af61SArthur Chunqi Li EPT_PGDIR_WIDTH + 12)) & EPT_PGDIR_MASK; 2136884af61SArthur Chunqi Li pt[offset] = pte; 2146884af61SArthur Chunqi Li } 2156884af61SArthur Chunqi Li 2166884af61SArthur Chunqi Li /* Map a page, @perm is the permission of the page */ 2176884af61SArthur Chunqi Li void install_ept(unsigned long *pml4, 2186884af61SArthur Chunqi Li unsigned long phys, 2196884af61SArthur Chunqi Li unsigned long guest_addr, 2206884af61SArthur Chunqi Li u64 perm) 2216884af61SArthur Chunqi Li { 2226884af61SArthur Chunqi Li install_ept_entry(pml4, 1, guest_addr, (phys & PAGE_MASK) | perm, 0); 2236884af61SArthur Chunqi Li } 2246884af61SArthur Chunqi Li 2256884af61SArthur Chunqi Li /* Map a 1G-size page */ 2266884af61SArthur Chunqi Li void install_1g_ept(unsigned long *pml4, 2276884af61SArthur Chunqi Li unsigned long phys, 2286884af61SArthur Chunqi Li unsigned long guest_addr, 2296884af61SArthur Chunqi Li u64 perm) 2306884af61SArthur Chunqi Li { 2316884af61SArthur Chunqi Li install_ept_entry(pml4, 3, guest_addr, 2326884af61SArthur Chunqi Li (phys & PAGE_MASK) | perm | EPT_LARGE_PAGE, 0); 2336884af61SArthur Chunqi Li } 2346884af61SArthur Chunqi Li 2356884af61SArthur Chunqi Li /* Map a 2M-size page */ 2366884af61SArthur Chunqi Li void install_2m_ept(unsigned long *pml4, 2376884af61SArthur Chunqi Li unsigned long phys, 2386884af61SArthur Chunqi Li unsigned long guest_addr, 2396884af61SArthur Chunqi Li u64 perm) 2406884af61SArthur Chunqi Li { 2416884af61SArthur Chunqi Li install_ept_entry(pml4, 2, guest_addr, 2426884af61SArthur Chunqi Li (phys & PAGE_MASK) | perm | EPT_LARGE_PAGE, 0); 2436884af61SArthur Chunqi Li } 2446884af61SArthur Chunqi Li 2456884af61SArthur Chunqi Li /* setup_ept_range : Setup a range of 1:1 mapped page to EPT paging structure. 2466884af61SArthur Chunqi Li @start : start address of guest page 2476884af61SArthur Chunqi Li @len : length of address to be mapped 2486884af61SArthur Chunqi Li @map_1g : whether 1G page map is used 2496884af61SArthur Chunqi Li @map_2m : whether 2M page map is used 2506884af61SArthur Chunqi Li @perm : permission for every page 2516884af61SArthur Chunqi Li */ 252b947e241SJan Kiszka void setup_ept_range(unsigned long *pml4, unsigned long start, 2536884af61SArthur Chunqi Li unsigned long len, int map_1g, int map_2m, u64 perm) 2546884af61SArthur Chunqi Li { 2556884af61SArthur Chunqi Li u64 phys = start; 2566884af61SArthur Chunqi Li u64 max = (u64)len + (u64)start; 2576884af61SArthur Chunqi Li 2586884af61SArthur Chunqi Li if (map_1g) { 2596884af61SArthur Chunqi Li while (phys + PAGE_SIZE_1G <= max) { 2606884af61SArthur Chunqi Li install_1g_ept(pml4, phys, phys, perm); 2616884af61SArthur Chunqi Li phys += PAGE_SIZE_1G; 2626884af61SArthur Chunqi Li } 2636884af61SArthur Chunqi Li } 2646884af61SArthur Chunqi Li if (map_2m) { 2656884af61SArthur Chunqi Li while (phys + PAGE_SIZE_2M <= max) { 2666884af61SArthur Chunqi Li install_2m_ept(pml4, phys, phys, perm); 2676884af61SArthur Chunqi Li phys += PAGE_SIZE_2M; 2686884af61SArthur Chunqi Li } 2696884af61SArthur Chunqi Li } 2706884af61SArthur Chunqi Li while (phys + PAGE_SIZE <= max) { 2716884af61SArthur Chunqi Li install_ept(pml4, phys, phys, perm); 2726884af61SArthur Chunqi Li phys += PAGE_SIZE; 2736884af61SArthur Chunqi Li } 2746884af61SArthur Chunqi Li } 2756884af61SArthur Chunqi Li 2766884af61SArthur Chunqi Li /* get_ept_pte : Get the PTE of a given level in EPT, 2776884af61SArthur Chunqi Li @level == 1 means get the latest level*/ 2786884af61SArthur Chunqi Li unsigned long get_ept_pte(unsigned long *pml4, 2796884af61SArthur Chunqi Li unsigned long guest_addr, int level) 2806884af61SArthur Chunqi Li { 2816884af61SArthur Chunqi Li int l; 2826884af61SArthur Chunqi Li unsigned long *pt = pml4, pte; 2836884af61SArthur Chunqi Li unsigned offset; 2846884af61SArthur Chunqi Li 2856884af61SArthur Chunqi Li for (l = EPT_PAGE_LEVEL; l > 1; --l) { 2866884af61SArthur Chunqi Li offset = (guest_addr >> (((l-1) * EPT_PGDIR_WIDTH) + 12)) 2876884af61SArthur Chunqi Li & EPT_PGDIR_MASK; 2886884af61SArthur Chunqi Li pte = pt[offset]; 2896884af61SArthur Chunqi Li if (!(pte & (EPT_PRESENT))) 2906884af61SArthur Chunqi Li return 0; 2916884af61SArthur Chunqi Li if (l == level) 2926884af61SArthur Chunqi Li return pte; 2936884af61SArthur Chunqi Li if (l < 4 && (pte & EPT_LARGE_PAGE)) 2946884af61SArthur Chunqi Li return pte; 2956884af61SArthur Chunqi Li pt = (unsigned long *)(pte & 0xffffffffff000ull); 2966884af61SArthur Chunqi Li } 2976884af61SArthur Chunqi Li offset = (guest_addr >> (((l-1) * EPT_PGDIR_WIDTH) + 12)) 2986884af61SArthur Chunqi Li & EPT_PGDIR_MASK; 2996884af61SArthur Chunqi Li pte = pt[offset]; 3006884af61SArthur Chunqi Li return pte; 3016884af61SArthur Chunqi Li } 3026884af61SArthur Chunqi Li 3036884af61SArthur Chunqi Li int set_ept_pte(unsigned long *pml4, unsigned long guest_addr, 3046884af61SArthur Chunqi Li int level, u64 pte_val) 3056884af61SArthur Chunqi Li { 3066884af61SArthur Chunqi Li int l; 3076884af61SArthur Chunqi Li unsigned long *pt = pml4; 3086884af61SArthur Chunqi Li unsigned offset; 3096884af61SArthur Chunqi Li 3106884af61SArthur Chunqi Li if (level < 1 || level > 3) 3116884af61SArthur Chunqi Li return -1; 3126884af61SArthur Chunqi Li for (l = EPT_PAGE_LEVEL; l > 1; --l) { 3136884af61SArthur Chunqi Li offset = (guest_addr >> (((l-1) * EPT_PGDIR_WIDTH) + 12)) 3146884af61SArthur Chunqi Li & EPT_PGDIR_MASK; 3156884af61SArthur Chunqi Li if (l == level) { 3166884af61SArthur Chunqi Li pt[offset] = pte_val; 3176884af61SArthur Chunqi Li return 0; 3186884af61SArthur Chunqi Li } 3196884af61SArthur Chunqi Li if (!(pt[offset] & (EPT_PRESENT))) 3206884af61SArthur Chunqi Li return -1; 3216884af61SArthur Chunqi Li pt = (unsigned long *)(pt[offset] & 0xffffffffff000ull); 3226884af61SArthur Chunqi Li } 3236884af61SArthur Chunqi Li offset = (guest_addr >> (((l-1) * EPT_PGDIR_WIDTH) + 12)) 3246884af61SArthur Chunqi Li & EPT_PGDIR_MASK; 3256884af61SArthur Chunqi Li pt[offset] = pte_val; 3266884af61SArthur Chunqi Li return 0; 3276884af61SArthur Chunqi Li } 3286884af61SArthur Chunqi Li 3296884af61SArthur Chunqi Li 3309d7eaa29SArthur Chunqi Li static void init_vmcs_ctrl(void) 3319d7eaa29SArthur Chunqi Li { 3329d7eaa29SArthur Chunqi Li /* 26.2 CHECKS ON VMX CONTROLS AND HOST-STATE AREA */ 3339d7eaa29SArthur Chunqi Li /* 26.2.1.1 */ 3349d7eaa29SArthur Chunqi Li vmcs_write(PIN_CONTROLS, ctrl_pin); 3359d7eaa29SArthur Chunqi Li /* Disable VMEXIT of IO instruction */ 3369d7eaa29SArthur Chunqi Li vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu[0]); 3379d7eaa29SArthur Chunqi Li if (ctrl_cpu_rev[0].set & CPU_SECONDARY) { 3386884af61SArthur Chunqi Li ctrl_cpu[1] = (ctrl_cpu[1] | ctrl_cpu_rev[1].set) & 3396884af61SArthur Chunqi Li ctrl_cpu_rev[1].clr; 3409d7eaa29SArthur Chunqi Li vmcs_write(CPU_EXEC_CTRL1, ctrl_cpu[1]); 3419d7eaa29SArthur Chunqi Li } 3429d7eaa29SArthur Chunqi Li vmcs_write(CR3_TARGET_COUNT, 0); 3439d7eaa29SArthur Chunqi Li vmcs_write(VPID, ++vpid_cnt); 3449d7eaa29SArthur Chunqi Li } 3459d7eaa29SArthur Chunqi Li 3469d7eaa29SArthur Chunqi Li static void init_vmcs_host(void) 3479d7eaa29SArthur Chunqi Li { 3489d7eaa29SArthur Chunqi Li /* 26.2 CHECKS ON VMX CONTROLS AND HOST-STATE AREA */ 3499d7eaa29SArthur Chunqi Li /* 26.2.1.2 */ 3509d7eaa29SArthur Chunqi Li vmcs_write(HOST_EFER, rdmsr(MSR_EFER)); 3519d7eaa29SArthur Chunqi Li 3529d7eaa29SArthur Chunqi Li /* 26.2.1.3 */ 3539d7eaa29SArthur Chunqi Li vmcs_write(ENT_CONTROLS, ctrl_enter); 3549d7eaa29SArthur Chunqi Li vmcs_write(EXI_CONTROLS, ctrl_exit); 3559d7eaa29SArthur Chunqi Li 3569d7eaa29SArthur Chunqi Li /* 26.2.2 */ 3579d7eaa29SArthur Chunqi Li vmcs_write(HOST_CR0, read_cr0()); 3589d7eaa29SArthur Chunqi Li vmcs_write(HOST_CR3, read_cr3()); 3599d7eaa29SArthur Chunqi Li vmcs_write(HOST_CR4, read_cr4()); 3609d7eaa29SArthur Chunqi Li vmcs_write(HOST_SYSENTER_EIP, (u64)(&entry_sysenter)); 3619d7eaa29SArthur Chunqi Li vmcs_write(HOST_SYSENTER_CS, SEL_KERN_CODE_64); 3629d7eaa29SArthur Chunqi Li 3639d7eaa29SArthur Chunqi Li /* 26.2.3 */ 3649d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_CS, SEL_KERN_CODE_64); 3659d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_SS, SEL_KERN_DATA_64); 3669d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_DS, SEL_KERN_DATA_64); 3679d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_ES, SEL_KERN_DATA_64); 3689d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_FS, SEL_KERN_DATA_64); 3699d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_GS, SEL_KERN_DATA_64); 3709d7eaa29SArthur Chunqi Li vmcs_write(HOST_SEL_TR, SEL_TSS_RUN); 371337166aaSJan Kiszka vmcs_write(HOST_BASE_TR, tss_descr.base); 372337166aaSJan Kiszka vmcs_write(HOST_BASE_GDTR, gdt64_desc.base); 373337166aaSJan Kiszka vmcs_write(HOST_BASE_IDTR, idt_descr.base); 3749d7eaa29SArthur Chunqi Li vmcs_write(HOST_BASE_FS, 0); 3759d7eaa29SArthur Chunqi Li vmcs_write(HOST_BASE_GS, 0); 3769d7eaa29SArthur Chunqi Li 3779d7eaa29SArthur Chunqi Li /* Set other vmcs area */ 3789d7eaa29SArthur Chunqi Li vmcs_write(PF_ERROR_MASK, 0); 3799d7eaa29SArthur Chunqi Li vmcs_write(PF_ERROR_MATCH, 0); 3809d7eaa29SArthur Chunqi Li vmcs_write(VMCS_LINK_PTR, ~0ul); 3819d7eaa29SArthur Chunqi Li vmcs_write(VMCS_LINK_PTR_HI, ~0ul); 3829d7eaa29SArthur Chunqi Li vmcs_write(HOST_RIP, (u64)(&vmx_return)); 3839d7eaa29SArthur Chunqi Li } 3849d7eaa29SArthur Chunqi Li 3859d7eaa29SArthur Chunqi Li static void init_vmcs_guest(void) 3869d7eaa29SArthur Chunqi Li { 3879d7eaa29SArthur Chunqi Li /* 26.3 CHECKING AND LOADING GUEST STATE */ 3889d7eaa29SArthur Chunqi Li ulong guest_cr0, guest_cr4, guest_cr3; 3899d7eaa29SArthur Chunqi Li /* 26.3.1.1 */ 3909d7eaa29SArthur Chunqi Li guest_cr0 = read_cr0(); 3919d7eaa29SArthur Chunqi Li guest_cr4 = read_cr4(); 3929d7eaa29SArthur Chunqi Li guest_cr3 = read_cr3(); 3939d7eaa29SArthur Chunqi Li if (ctrl_enter & ENT_GUEST_64) { 3949d7eaa29SArthur Chunqi Li guest_cr0 |= X86_CR0_PG; 3959d7eaa29SArthur Chunqi Li guest_cr4 |= X86_CR4_PAE; 3969d7eaa29SArthur Chunqi Li } 3979d7eaa29SArthur Chunqi Li if ((ctrl_enter & ENT_GUEST_64) == 0) 3989d7eaa29SArthur Chunqi Li guest_cr4 &= (~X86_CR4_PCIDE); 3999d7eaa29SArthur Chunqi Li if (guest_cr0 & X86_CR0_PG) 4009d7eaa29SArthur Chunqi Li guest_cr0 |= X86_CR0_PE; 4019d7eaa29SArthur Chunqi Li vmcs_write(GUEST_CR0, guest_cr0); 4029d7eaa29SArthur Chunqi Li vmcs_write(GUEST_CR3, guest_cr3); 4039d7eaa29SArthur Chunqi Li vmcs_write(GUEST_CR4, guest_cr4); 4049d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SYSENTER_CS, SEL_KERN_CODE_64); 4059d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SYSENTER_ESP, 4069d7eaa29SArthur Chunqi Li (u64)(guest_syscall_stack + PAGE_SIZE - 1)); 4079d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SYSENTER_EIP, (u64)(&entry_sysenter)); 4089d7eaa29SArthur Chunqi Li vmcs_write(GUEST_DR7, 0); 4099d7eaa29SArthur Chunqi Li vmcs_write(GUEST_EFER, rdmsr(MSR_EFER)); 4109d7eaa29SArthur Chunqi Li 4119d7eaa29SArthur Chunqi Li /* 26.3.1.2 */ 4129d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_CS, SEL_KERN_CODE_64); 4139d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_SS, SEL_KERN_DATA_64); 4149d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_DS, SEL_KERN_DATA_64); 4159d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_ES, SEL_KERN_DATA_64); 4169d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_FS, SEL_KERN_DATA_64); 4179d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_GS, SEL_KERN_DATA_64); 4189d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_TR, SEL_TSS_RUN); 4199d7eaa29SArthur Chunqi Li vmcs_write(GUEST_SEL_LDTR, 0); 4209d7eaa29SArthur Chunqi Li 4219d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_CS, 0); 4229d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_ES, 0); 4239d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_SS, 0); 4249d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_DS, 0); 4259d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_FS, 0); 4269d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_GS, 0); 427337166aaSJan Kiszka vmcs_write(GUEST_BASE_TR, tss_descr.base); 4289d7eaa29SArthur Chunqi Li vmcs_write(GUEST_BASE_LDTR, 0); 4299d7eaa29SArthur Chunqi Li 4309d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_CS, 0xFFFFFFFF); 4319d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_DS, 0xFFFFFFFF); 4329d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_ES, 0xFFFFFFFF); 4339d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_SS, 0xFFFFFFFF); 4349d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_FS, 0xFFFFFFFF); 4359d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_GS, 0xFFFFFFFF); 4369d7eaa29SArthur Chunqi Li vmcs_write(GUEST_LIMIT_LDTR, 0xffff); 437337166aaSJan Kiszka vmcs_write(GUEST_LIMIT_TR, tss_descr.limit); 4389d7eaa29SArthur Chunqi Li 4399d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_CS, 0xa09b); 4409d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_DS, 0xc093); 4419d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_ES, 0xc093); 4429d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_FS, 0xc093); 4439d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_GS, 0xc093); 4449d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_SS, 0xc093); 4459d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_LDTR, 0x82); 4469d7eaa29SArthur Chunqi Li vmcs_write(GUEST_AR_TR, 0x8b); 4479d7eaa29SArthur Chunqi Li 4489d7eaa29SArthur Chunqi Li /* 26.3.1.3 */ 449337166aaSJan Kiszka vmcs_write(GUEST_BASE_GDTR, gdt64_desc.base); 450337166aaSJan Kiszka vmcs_write(GUEST_BASE_IDTR, idt_descr.base); 451337166aaSJan Kiszka vmcs_write(GUEST_LIMIT_GDTR, gdt64_desc.limit); 452337166aaSJan Kiszka vmcs_write(GUEST_LIMIT_IDTR, idt_descr.limit); 4539d7eaa29SArthur Chunqi Li 4549d7eaa29SArthur Chunqi Li /* 26.3.1.4 */ 4559d7eaa29SArthur Chunqi Li vmcs_write(GUEST_RIP, (u64)(&guest_entry)); 4569d7eaa29SArthur Chunqi Li vmcs_write(GUEST_RSP, (u64)(guest_stack + PAGE_SIZE - 1)); 4579d7eaa29SArthur Chunqi Li vmcs_write(GUEST_RFLAGS, 0x2); 4589d7eaa29SArthur Chunqi Li 4599d7eaa29SArthur Chunqi Li /* 26.3.1.5 */ 4609d7eaa29SArthur Chunqi Li vmcs_write(GUEST_ACTV_STATE, 0); 4619d7eaa29SArthur Chunqi Li vmcs_write(GUEST_INTR_STATE, 0); 4629d7eaa29SArthur Chunqi Li } 4639d7eaa29SArthur Chunqi Li 4649d7eaa29SArthur Chunqi Li static int init_vmcs(struct vmcs **vmcs) 4659d7eaa29SArthur Chunqi Li { 4669d7eaa29SArthur Chunqi Li *vmcs = alloc_page(); 4679d7eaa29SArthur Chunqi Li memset(*vmcs, 0, PAGE_SIZE); 4689d7eaa29SArthur Chunqi Li (*vmcs)->revision_id = basic.revision; 4699d7eaa29SArthur Chunqi Li /* vmclear first to init vmcs */ 4709d7eaa29SArthur Chunqi Li if (vmcs_clear(*vmcs)) { 4719d7eaa29SArthur Chunqi Li printf("%s : vmcs_clear error\n", __func__); 4729d7eaa29SArthur Chunqi Li return 1; 4739d7eaa29SArthur Chunqi Li } 4749d7eaa29SArthur Chunqi Li 4759d7eaa29SArthur Chunqi Li if (make_vmcs_current(*vmcs)) { 4769d7eaa29SArthur Chunqi Li printf("%s : make_vmcs_current error\n", __func__); 4779d7eaa29SArthur Chunqi Li return 1; 4789d7eaa29SArthur Chunqi Li } 4799d7eaa29SArthur Chunqi Li 4809d7eaa29SArthur Chunqi Li /* All settings to pin/exit/enter/cpu 4819d7eaa29SArthur Chunqi Li control fields should be placed here */ 4829d7eaa29SArthur Chunqi Li ctrl_pin |= PIN_EXTINT | PIN_NMI | PIN_VIRT_NMI; 4839d7eaa29SArthur Chunqi Li ctrl_exit = EXI_LOAD_EFER | EXI_HOST_64; 4849d7eaa29SArthur Chunqi Li ctrl_enter = (ENT_LOAD_EFER | ENT_GUEST_64); 4859d7eaa29SArthur Chunqi Li ctrl_cpu[0] |= CPU_HLT; 4869d7eaa29SArthur Chunqi Li /* DIsable IO instruction VMEXIT now */ 4879d7eaa29SArthur Chunqi Li ctrl_cpu[0] &= (~(CPU_IO | CPU_IO_BITMAP)); 4889d7eaa29SArthur Chunqi Li ctrl_cpu[1] = 0; 4899d7eaa29SArthur Chunqi Li 4909d7eaa29SArthur Chunqi Li ctrl_pin = (ctrl_pin | ctrl_pin_rev.set) & ctrl_pin_rev.clr; 4919d7eaa29SArthur Chunqi Li ctrl_enter = (ctrl_enter | ctrl_enter_rev.set) & ctrl_enter_rev.clr; 4929d7eaa29SArthur Chunqi Li ctrl_exit = (ctrl_exit | ctrl_exit_rev.set) & ctrl_exit_rev.clr; 4939d7eaa29SArthur Chunqi Li ctrl_cpu[0] = (ctrl_cpu[0] | ctrl_cpu_rev[0].set) & ctrl_cpu_rev[0].clr; 4949d7eaa29SArthur Chunqi Li 4959d7eaa29SArthur Chunqi Li init_vmcs_ctrl(); 4969d7eaa29SArthur Chunqi Li init_vmcs_host(); 4979d7eaa29SArthur Chunqi Li init_vmcs_guest(); 4989d7eaa29SArthur Chunqi Li return 0; 4999d7eaa29SArthur Chunqi Li } 5009d7eaa29SArthur Chunqi Li 5019d7eaa29SArthur Chunqi Li static void init_vmx(void) 5029d7eaa29SArthur Chunqi Li { 5033ee34093SArthur Chunqi Li ulong fix_cr0_set, fix_cr0_clr; 5043ee34093SArthur Chunqi Li ulong fix_cr4_set, fix_cr4_clr; 5053ee34093SArthur Chunqi Li 5069d7eaa29SArthur Chunqi Li vmxon_region = alloc_page(); 5079d7eaa29SArthur Chunqi Li memset(vmxon_region, 0, PAGE_SIZE); 5089d7eaa29SArthur Chunqi Li 5099d7eaa29SArthur Chunqi Li fix_cr0_set = rdmsr(MSR_IA32_VMX_CR0_FIXED0); 5109d7eaa29SArthur Chunqi Li fix_cr0_clr = rdmsr(MSR_IA32_VMX_CR0_FIXED1); 5119d7eaa29SArthur Chunqi Li fix_cr4_set = rdmsr(MSR_IA32_VMX_CR4_FIXED0); 5129d7eaa29SArthur Chunqi Li fix_cr4_clr = rdmsr(MSR_IA32_VMX_CR4_FIXED1); 5139d7eaa29SArthur Chunqi Li basic.val = rdmsr(MSR_IA32_VMX_BASIC); 5149d7eaa29SArthur Chunqi Li ctrl_pin_rev.val = rdmsr(basic.ctrl ? MSR_IA32_VMX_TRUE_PIN 5159d7eaa29SArthur Chunqi Li : MSR_IA32_VMX_PINBASED_CTLS); 5169d7eaa29SArthur Chunqi Li ctrl_exit_rev.val = rdmsr(basic.ctrl ? MSR_IA32_VMX_TRUE_EXIT 5179d7eaa29SArthur Chunqi Li : MSR_IA32_VMX_EXIT_CTLS); 5189d7eaa29SArthur Chunqi Li ctrl_enter_rev.val = rdmsr(basic.ctrl ? MSR_IA32_VMX_TRUE_ENTRY 5199d7eaa29SArthur Chunqi Li : MSR_IA32_VMX_ENTRY_CTLS); 5209d7eaa29SArthur Chunqi Li ctrl_cpu_rev[0].val = rdmsr(basic.ctrl ? MSR_IA32_VMX_TRUE_PROC 5219d7eaa29SArthur Chunqi Li : MSR_IA32_VMX_PROCBASED_CTLS); 5226884af61SArthur Chunqi Li if ((ctrl_cpu_rev[0].clr & CPU_SECONDARY) != 0) 5239d7eaa29SArthur Chunqi Li ctrl_cpu_rev[1].val = rdmsr(MSR_IA32_VMX_PROCBASED_CTLS2); 5246884af61SArthur Chunqi Li else 5256884af61SArthur Chunqi Li ctrl_cpu_rev[1].val = 0; 5266884af61SArthur Chunqi Li if ((ctrl_cpu_rev[1].clr & (CPU_EPT | CPU_VPID)) != 0) 5279d7eaa29SArthur Chunqi Li ept_vpid.val = rdmsr(MSR_IA32_VMX_EPT_VPID_CAP); 5286884af61SArthur Chunqi Li else 5296884af61SArthur Chunqi Li ept_vpid.val = 0; 5309d7eaa29SArthur Chunqi Li 5319d7eaa29SArthur Chunqi Li write_cr0((read_cr0() & fix_cr0_clr) | fix_cr0_set); 5329d7eaa29SArthur Chunqi Li write_cr4((read_cr4() & fix_cr4_clr) | fix_cr4_set | X86_CR4_VMXE); 5339d7eaa29SArthur Chunqi Li 5349d7eaa29SArthur Chunqi Li *vmxon_region = basic.revision; 5359d7eaa29SArthur Chunqi Li 5369d7eaa29SArthur Chunqi Li guest_stack = alloc_page(); 5379d7eaa29SArthur Chunqi Li memset(guest_stack, 0, PAGE_SIZE); 5389d7eaa29SArthur Chunqi Li guest_syscall_stack = alloc_page(); 5399d7eaa29SArthur Chunqi Li memset(guest_syscall_stack, 0, PAGE_SIZE); 5409d7eaa29SArthur Chunqi Li } 5419d7eaa29SArthur Chunqi Li 5429d7eaa29SArthur Chunqi Li static int test_vmx_capability(void) 5439d7eaa29SArthur Chunqi Li { 5449d7eaa29SArthur Chunqi Li struct cpuid r; 5459d7eaa29SArthur Chunqi Li u64 ret1, ret2; 5469d7eaa29SArthur Chunqi Li u64 ia32_feature_control; 5479d7eaa29SArthur Chunqi Li r = cpuid(1); 5489d7eaa29SArthur Chunqi Li ret1 = ((r.c) >> 5) & 1; 5499d7eaa29SArthur Chunqi Li ia32_feature_control = rdmsr(MSR_IA32_FEATURE_CONTROL); 5509d7eaa29SArthur Chunqi Li ret2 = ((ia32_feature_control & 0x5) == 0x5); 5519d7eaa29SArthur Chunqi Li if ((!ret2) && ((ia32_feature_control & 0x1) == 0)) { 5529d7eaa29SArthur Chunqi Li wrmsr(MSR_IA32_FEATURE_CONTROL, 0x5); 5539d7eaa29SArthur Chunqi Li ia32_feature_control = rdmsr(MSR_IA32_FEATURE_CONTROL); 5549d7eaa29SArthur Chunqi Li ret2 = ((ia32_feature_control & 0x5) == 0x5); 5559d7eaa29SArthur Chunqi Li } 5569d7eaa29SArthur Chunqi Li report("test vmx capability", ret1 & ret2); 5579d7eaa29SArthur Chunqi Li return !(ret1 & ret2); 5589d7eaa29SArthur Chunqi Li } 5599d7eaa29SArthur Chunqi Li 5609d7eaa29SArthur Chunqi Li static int test_vmxon(void) 5619d7eaa29SArthur Chunqi Li { 5629d7eaa29SArthur Chunqi Li int ret; 5639d7eaa29SArthur Chunqi Li u64 rflags; 5649d7eaa29SArthur Chunqi Li 5659d7eaa29SArthur Chunqi Li rflags = read_rflags() | X86_EFLAGS_CF | X86_EFLAGS_ZF; 5669d7eaa29SArthur Chunqi Li write_rflags(rflags); 5679d7eaa29SArthur Chunqi Li ret = vmx_on(); 5689d7eaa29SArthur Chunqi Li report("test vmxon", !ret); 5699d7eaa29SArthur Chunqi Li return ret; 5709d7eaa29SArthur Chunqi Li } 5719d7eaa29SArthur Chunqi Li 5729d7eaa29SArthur Chunqi Li static void test_vmptrld(void) 5739d7eaa29SArthur Chunqi Li { 5749d7eaa29SArthur Chunqi Li u64 rflags; 5759d7eaa29SArthur Chunqi Li struct vmcs *vmcs; 5769d7eaa29SArthur Chunqi Li 5779d7eaa29SArthur Chunqi Li vmcs = alloc_page(); 5789d7eaa29SArthur Chunqi Li vmcs->revision_id = basic.revision; 5799d7eaa29SArthur Chunqi Li rflags = read_rflags() | X86_EFLAGS_CF | X86_EFLAGS_ZF; 5809d7eaa29SArthur Chunqi Li write_rflags(rflags); 5819d7eaa29SArthur Chunqi Li report("test vmptrld", make_vmcs_current(vmcs) == 0); 5829d7eaa29SArthur Chunqi Li } 5839d7eaa29SArthur Chunqi Li 5849d7eaa29SArthur Chunqi Li static void test_vmptrst(void) 5859d7eaa29SArthur Chunqi Li { 5869d7eaa29SArthur Chunqi Li u64 rflags; 5879d7eaa29SArthur Chunqi Li int ret; 5889d7eaa29SArthur Chunqi Li struct vmcs *vmcs1, *vmcs2; 5899d7eaa29SArthur Chunqi Li 5909d7eaa29SArthur Chunqi Li vmcs1 = alloc_page(); 5919d7eaa29SArthur Chunqi Li memset(vmcs1, 0, PAGE_SIZE); 5929d7eaa29SArthur Chunqi Li init_vmcs(&vmcs1); 5939d7eaa29SArthur Chunqi Li rflags = read_rflags() | X86_EFLAGS_CF | X86_EFLAGS_ZF; 5949d7eaa29SArthur Chunqi Li write_rflags(rflags); 5959d7eaa29SArthur Chunqi Li ret = vmcs_save(&vmcs2); 5969d7eaa29SArthur Chunqi Li report("test vmptrst", (!ret) && (vmcs1 == vmcs2)); 5979d7eaa29SArthur Chunqi Li } 5989d7eaa29SArthur Chunqi Li 5999d7eaa29SArthur Chunqi Li /* This function can only be called in guest */ 6009d7eaa29SArthur Chunqi Li static void __attribute__((__used__)) hypercall(u32 hypercall_no) 6019d7eaa29SArthur Chunqi Li { 6029d7eaa29SArthur Chunqi Li u64 val = 0; 6039d7eaa29SArthur Chunqi Li val = (hypercall_no & HYPERCALL_MASK) | HYPERCALL_BIT; 6049d7eaa29SArthur Chunqi Li hypercall_field = val; 6059d7eaa29SArthur Chunqi Li asm volatile("vmcall\n\t"); 6069d7eaa29SArthur Chunqi Li } 6079d7eaa29SArthur Chunqi Li 6089d7eaa29SArthur Chunqi Li static bool is_hypercall() 6099d7eaa29SArthur Chunqi Li { 6109d7eaa29SArthur Chunqi Li ulong reason, hyper_bit; 6119d7eaa29SArthur Chunqi Li 6129d7eaa29SArthur Chunqi Li reason = vmcs_read(EXI_REASON) & 0xff; 6139d7eaa29SArthur Chunqi Li hyper_bit = hypercall_field & HYPERCALL_BIT; 6149d7eaa29SArthur Chunqi Li if (reason == VMX_VMCALL && hyper_bit) 6159d7eaa29SArthur Chunqi Li return true; 6169d7eaa29SArthur Chunqi Li return false; 6179d7eaa29SArthur Chunqi Li } 6189d7eaa29SArthur Chunqi Li 6199d7eaa29SArthur Chunqi Li static int handle_hypercall() 6209d7eaa29SArthur Chunqi Li { 6219d7eaa29SArthur Chunqi Li ulong hypercall_no; 6229d7eaa29SArthur Chunqi Li 6239d7eaa29SArthur Chunqi Li hypercall_no = hypercall_field & HYPERCALL_MASK; 6249d7eaa29SArthur Chunqi Li hypercall_field = 0; 6259d7eaa29SArthur Chunqi Li switch (hypercall_no) { 6269d7eaa29SArthur Chunqi Li case HYPERCALL_VMEXIT: 6279d7eaa29SArthur Chunqi Li return VMX_TEST_VMEXIT; 6289d7eaa29SArthur Chunqi Li default: 6299d7eaa29SArthur Chunqi Li printf("ERROR : Invalid hypercall number : %d\n", hypercall_no); 6309d7eaa29SArthur Chunqi Li } 6319d7eaa29SArthur Chunqi Li return VMX_TEST_EXIT; 6329d7eaa29SArthur Chunqi Li } 6339d7eaa29SArthur Chunqi Li 6349d7eaa29SArthur Chunqi Li static int exit_handler() 6359d7eaa29SArthur Chunqi Li { 6369d7eaa29SArthur Chunqi Li int ret; 6379d7eaa29SArthur Chunqi Li 6389d7eaa29SArthur Chunqi Li current->exits++; 6391d9284d0SArthur Chunqi Li regs.rflags = vmcs_read(GUEST_RFLAGS); 6409d7eaa29SArthur Chunqi Li if (is_hypercall()) 6419d7eaa29SArthur Chunqi Li ret = handle_hypercall(); 6429d7eaa29SArthur Chunqi Li else 6439d7eaa29SArthur Chunqi Li ret = current->exit_handler(); 6441d9284d0SArthur Chunqi Li vmcs_write(GUEST_RFLAGS, regs.rflags); 6459d7eaa29SArthur Chunqi Li switch (ret) { 6469d7eaa29SArthur Chunqi Li case VMX_TEST_VMEXIT: 6479d7eaa29SArthur Chunqi Li case VMX_TEST_RESUME: 6489d7eaa29SArthur Chunqi Li return ret; 6499d7eaa29SArthur Chunqi Li case VMX_TEST_EXIT: 6509d7eaa29SArthur Chunqi Li break; 6519d7eaa29SArthur Chunqi Li default: 6529d7eaa29SArthur Chunqi Li printf("ERROR : Invalid exit_handler return val %d.\n" 6539d7eaa29SArthur Chunqi Li , ret); 6549d7eaa29SArthur Chunqi Li } 6559d7eaa29SArthur Chunqi Li print_vmexit_info(); 6569d7eaa29SArthur Chunqi Li exit(-1); 6579d7eaa29SArthur Chunqi Li return 0; 6589d7eaa29SArthur Chunqi Li } 6599d7eaa29SArthur Chunqi Li 6609d7eaa29SArthur Chunqi Li static int vmx_run() 6619d7eaa29SArthur Chunqi Li { 6629d7eaa29SArthur Chunqi Li u32 ret = 0, fail = 0; 6639d7eaa29SArthur Chunqi Li 6649d7eaa29SArthur Chunqi Li while (1) { 6659d7eaa29SArthur Chunqi Li asm volatile ( 6669d7eaa29SArthur Chunqi Li "mov %%rsp, %%rsi\n\t" 6679d7eaa29SArthur Chunqi Li "mov %2, %%rdi\n\t" 6689d7eaa29SArthur Chunqi Li "vmwrite %%rsi, %%rdi\n\t" 6699d7eaa29SArthur Chunqi Li 6709d7eaa29SArthur Chunqi Li LOAD_GPR_C 6719d7eaa29SArthur Chunqi Li "cmpl $0, %1\n\t" 6729d7eaa29SArthur Chunqi Li "jne 1f\n\t" 6739d7eaa29SArthur Chunqi Li LOAD_RFLAGS 6749d7eaa29SArthur Chunqi Li "vmlaunch\n\t" 6759d7eaa29SArthur Chunqi Li "jmp 2f\n\t" 6769d7eaa29SArthur Chunqi Li "1: " 6779d7eaa29SArthur Chunqi Li "vmresume\n\t" 6789d7eaa29SArthur Chunqi Li "2: " 6799d7eaa29SArthur Chunqi Li "setbe %0\n\t" 6809d7eaa29SArthur Chunqi Li "vmx_return:\n\t" 6819d7eaa29SArthur Chunqi Li SAVE_GPR_C 6829d7eaa29SArthur Chunqi Li SAVE_RFLAGS 6839d7eaa29SArthur Chunqi Li : "=m"(fail) 6849d7eaa29SArthur Chunqi Li : "m"(launched), "i"(HOST_RSP) 6859d7eaa29SArthur Chunqi Li : "rdi", "rsi", "memory", "cc" 6869d7eaa29SArthur Chunqi Li 6879d7eaa29SArthur Chunqi Li ); 6889d7eaa29SArthur Chunqi Li if (fail) 6899d7eaa29SArthur Chunqi Li ret = launched ? VMX_TEST_RESUME_ERR : 6909d7eaa29SArthur Chunqi Li VMX_TEST_LAUNCH_ERR; 6919d7eaa29SArthur Chunqi Li else { 6929d7eaa29SArthur Chunqi Li launched = 1; 6939d7eaa29SArthur Chunqi Li ret = exit_handler(); 6949d7eaa29SArthur Chunqi Li } 6959d7eaa29SArthur Chunqi Li if (ret != VMX_TEST_RESUME) 6969d7eaa29SArthur Chunqi Li break; 6979d7eaa29SArthur Chunqi Li } 6989d7eaa29SArthur Chunqi Li launched = 0; 6999d7eaa29SArthur Chunqi Li switch (ret) { 7009d7eaa29SArthur Chunqi Li case VMX_TEST_VMEXIT: 7019d7eaa29SArthur Chunqi Li return 0; 7029d7eaa29SArthur Chunqi Li case VMX_TEST_LAUNCH_ERR: 7039d7eaa29SArthur Chunqi Li printf("%s : vmlaunch failed.\n", __func__); 7041d9284d0SArthur Chunqi Li if ((!(host_rflags & X86_EFLAGS_CF) && !(host_rflags & X86_EFLAGS_ZF)) 7051d9284d0SArthur Chunqi Li || ((host_rflags & X86_EFLAGS_CF) && (host_rflags & X86_EFLAGS_ZF))) 7069d7eaa29SArthur Chunqi Li printf("\tvmlaunch set wrong flags\n"); 7079d7eaa29SArthur Chunqi Li report("test vmlaunch", 0); 7089d7eaa29SArthur Chunqi Li break; 7099d7eaa29SArthur Chunqi Li case VMX_TEST_RESUME_ERR: 7109d7eaa29SArthur Chunqi Li printf("%s : vmresume failed.\n", __func__); 7111d9284d0SArthur Chunqi Li if ((!(host_rflags & X86_EFLAGS_CF) && !(host_rflags & X86_EFLAGS_ZF)) 7121d9284d0SArthur Chunqi Li || ((host_rflags & X86_EFLAGS_CF) && (host_rflags & X86_EFLAGS_ZF))) 7139d7eaa29SArthur Chunqi Li printf("\tvmresume set wrong flags\n"); 7149d7eaa29SArthur Chunqi Li report("test vmresume", 0); 7159d7eaa29SArthur Chunqi Li break; 7169d7eaa29SArthur Chunqi Li default: 7179d7eaa29SArthur Chunqi Li printf("%s : unhandled ret from exit_handler, ret=%d.\n", __func__, ret); 7189d7eaa29SArthur Chunqi Li break; 7199d7eaa29SArthur Chunqi Li } 7209d7eaa29SArthur Chunqi Li return 1; 7219d7eaa29SArthur Chunqi Li } 7229d7eaa29SArthur Chunqi Li 7239d7eaa29SArthur Chunqi Li static int test_run(struct vmx_test *test) 7249d7eaa29SArthur Chunqi Li { 7259d7eaa29SArthur Chunqi Li if (test->name == NULL) 7269d7eaa29SArthur Chunqi Li test->name = "(no name)"; 7279d7eaa29SArthur Chunqi Li if (vmx_on()) { 7289d7eaa29SArthur Chunqi Li printf("%s : vmxon failed.\n", __func__); 7299d7eaa29SArthur Chunqi Li return 1; 7309d7eaa29SArthur Chunqi Li } 7319d7eaa29SArthur Chunqi Li init_vmcs(&(test->vmcs)); 7329d7eaa29SArthur Chunqi Li /* Directly call test->init is ok here, init_vmcs has done 7339d7eaa29SArthur Chunqi Li vmcs init, vmclear and vmptrld*/ 734c592c151SJan Kiszka if (test->init && test->init(test->vmcs) != VMX_TEST_START) 735c592c151SJan Kiszka return 0; 7369d7eaa29SArthur Chunqi Li test->exits = 0; 7379d7eaa29SArthur Chunqi Li current = test; 7389d7eaa29SArthur Chunqi Li regs = test->guest_regs; 7399d7eaa29SArthur Chunqi Li vmcs_write(GUEST_RFLAGS, regs.rflags | 0x2); 7409d7eaa29SArthur Chunqi Li launched = 0; 7419d7eaa29SArthur Chunqi Li printf("\nTest suite : %s\n", test->name); 7429d7eaa29SArthur Chunqi Li vmx_run(); 7439d7eaa29SArthur Chunqi Li if (vmx_off()) { 7449d7eaa29SArthur Chunqi Li printf("%s : vmxoff failed.\n", __func__); 7459d7eaa29SArthur Chunqi Li return 1; 7469d7eaa29SArthur Chunqi Li } 7479d7eaa29SArthur Chunqi Li return 0; 7489d7eaa29SArthur Chunqi Li } 7499d7eaa29SArthur Chunqi Li 7503ee34093SArthur Chunqi Li extern struct vmx_test vmx_tests[]; 7519d7eaa29SArthur Chunqi Li 7529d7eaa29SArthur Chunqi Li int main(void) 7539d7eaa29SArthur Chunqi Li { 7543ee34093SArthur Chunqi Li int i = 0; 7559d7eaa29SArthur Chunqi Li 7569d7eaa29SArthur Chunqi Li setup_vm(); 7579d7eaa29SArthur Chunqi Li setup_idt(); 7583ee34093SArthur Chunqi Li fails = tests = 0; 7593ee34093SArthur Chunqi Li hypercall_field = 0; 7609d7eaa29SArthur Chunqi Li 7619d7eaa29SArthur Chunqi Li if (test_vmx_capability() != 0) { 7629d7eaa29SArthur Chunqi Li printf("ERROR : vmx not supported, check +vmx option\n"); 7639d7eaa29SArthur Chunqi Li goto exit; 7649d7eaa29SArthur Chunqi Li } 7659d7eaa29SArthur Chunqi Li init_vmx(); 7669d7eaa29SArthur Chunqi Li /* Set basic test ctxt the same as "null" */ 7679d7eaa29SArthur Chunqi Li current = &vmx_tests[0]; 7689d7eaa29SArthur Chunqi Li if (test_vmxon() != 0) 7699d7eaa29SArthur Chunqi Li goto exit; 7709d7eaa29SArthur Chunqi Li test_vmptrld(); 7719d7eaa29SArthur Chunqi Li test_vmclear(); 7729d7eaa29SArthur Chunqi Li test_vmptrst(); 7739d7eaa29SArthur Chunqi Li init_vmcs(&vmcs_root); 7749d7eaa29SArthur Chunqi Li if (vmx_run()) { 7759d7eaa29SArthur Chunqi Li report("test vmlaunch", 0); 7769d7eaa29SArthur Chunqi Li goto exit; 7779d7eaa29SArthur Chunqi Li } 7789d7eaa29SArthur Chunqi Li test_vmxoff(); 7799d7eaa29SArthur Chunqi Li 7803ee34093SArthur Chunqi Li while (vmx_tests[++i].name != NULL) 7819d7eaa29SArthur Chunqi Li if (test_run(&vmx_tests[i])) 7829d7eaa29SArthur Chunqi Li goto exit; 7839d7eaa29SArthur Chunqi Li 7849d7eaa29SArthur Chunqi Li exit: 7859d7eaa29SArthur Chunqi Li printf("\nSUMMARY: %d tests, %d failures\n", tests, fails); 7869d7eaa29SArthur Chunqi Li return fails ? 1 : 0; 7879d7eaa29SArthur Chunqi Li } 788