xref: /kvm-unit-tests/x86/vmx.c (revision d5315e3db30b5aa7bf10b1a41c659f899e1ed0c3)
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