2 * Copyright (c) 2003-2013 The DragonFly Project. All rights reserved.
4 * This code is derived from software contributed to The DragonFly Project
5 * by Mihai Carabas <mihai.carabas@gmail.com>
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in
15 * the documentation and/or other materials provided with the
17 * 3. Neither the name of The DragonFly Project nor the names of its
18 * contributors may be used to endorse or promote products derived
19 * from this software without specific, prior written permission.
21 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
24 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
25 * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
27 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
28 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
29 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
30 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31 * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
35 #include <sys/systm.h>
36 #include <sys/sysctl.h>
37 #include <sys/eventhandler.h>
39 #include <sys/vkernel.h>
41 #include <machine/vmm.h>
42 #include <machine/cputypes.h>
43 #include <machine/md_var.h>
47 static struct vmm_ctl *ctl = NULL;
49 struct sysctl_ctx_list vmm_sysctl_ctx;
50 struct sysctl_oid *vmm_sysctl_tree;
55 sysctl_vmm_enable(SYSCTL_HANDLER_ARGS)
59 new_val = vmm_enabled;
61 error = sysctl_handle_int(oidp, &new_val, 0, req);
62 if (error != 0 || req->newptr == NULL)
65 if (new_val != 0 && new_val != 1)
68 if (vmm_enabled != new_val) {
71 kprintf("VMM: vmm enable() failed\n");
74 } else if (new_val == 0) {
76 kprintf("VMM: vmm disable() failed\n");
84 vmm_enabled = new_val;
99 sysctl_ctx_init(&vmm_sysctl_ctx);
100 vmm_sysctl_tree = SYSCTL_ADD_NODE(&vmm_sysctl_ctx,
101 SYSCTL_STATIC_CHILDREN(_hw),
103 CTLFLAG_RD, 0, "VMM options");
105 if (cpu_vendor_id == CPU_VENDOR_INTEL) {
106 ctl = get_ctl_intel();
107 } else if (cpu_vendor_id == CPU_VENDOR_AMD) {
112 SYSCTL_ADD_INT(&vmm_sysctl_ctx,
113 SYSCTL_CHILDREN(vmm_sysctl_tree),
114 OID_AUTO, "enable", CTLFLAG_RD,
116 "enable not supported");
118 SYSCTL_ADD_STRING(&vmm_sysctl_ctx,
119 SYSCTL_CHILDREN(vmm_sysctl_tree),
120 OID_AUTO, "type", CTLFLAG_RD,
123 SYSCTL_ADD_PROC(&vmm_sysctl_ctx,
124 SYSCTL_CHILDREN(vmm_sysctl_tree),
125 OID_AUTO, "enable", CTLTYPE_INT | CTLFLAG_WR,
126 NULL, sizeof vmm_enabled, sysctl_vmm_enable, "I",
127 "Control the state of the VMM");
130 kprintf("VMM: vmm enable() failed\n");
135 EVENTHANDLER_REGISTER(shutdown_pre_sync, vmm_shutdown, NULL, SHUTDOWN_PRI_DEFAULT-1);
138 SYSINIT(vmm_init, SI_BOOT2_CPU_TOPOLOGY, SI_ORDER_ANY, vmm_init, NULL);
142 vmm_vminit(struct vmm_guest_options *options)
148 return ctl->vminit(options);
158 return ctl->vmdestroy();
171 vmm_vm_set_tls_area(void)
176 return ctl->vm_set_tls_area();
180 vmm_vm_set_guest_cr3(register_t guest_cr3)
182 ctl->vm_set_guest_cr3(guest_cr3);
186 vmm_lwp_return(struct lwp *lp, struct trapframe *frame)
188 ctl->vm_lwp_return(lp, frame);
192 vmm_vm_get_gpa(struct proc *p, register_t *gpa, register_t uaddr)
194 return ctl->vm_get_gpa(p, gpa, uaddr);