#include <i386/vmx/vmx_asm.h>
#include <i386/vmx/vmx_shims.h>
#include <i386/vmx/vmx_cpu.h>
-#include <i386/mtrr.h>
#include <mach/mach_host.h> /* for host_info() */
#define VMX_KPRINTF(x...) /* kprintf("vmx: " x) */
Enter VMX root operation on this CPU.
-------------------------------------------------------------------------- */
static void
-vmx_on(void)
+vmx_on(void *arg __unused)
{
vmx_cpu_t *cpu = ¤t_cpu_datap()->cpu_vmx;
addr64_t vmxon_region_paddr;
Leave VMX root operation on this CPU.
-------------------------------------------------------------------------- */
static void
-vmx_off(void)
+vmx_off(void *arg __unused)
{
int result;
if (do_it) {
vmx_allocate_vmxon_regions();
- mp_rendezvous(NULL, (void (*)(void *))vmx_on, NULL, NULL);
+ mp_rendezvous(NULL, vmx_on, NULL, NULL);
}
return error;
}
simple_unlock(&vmx_use_count_lock);
if (do_it) {
- mp_rendezvous(NULL, (void (*)(void *))vmx_off, NULL, NULL);
+ mp_rendezvous(NULL, vmx_off, NULL, NULL);
vmx_free_vmxon_regions();
}
{
VMX_KPRINTF("vmx_suspend\n");
if (vmx_use_count)
- vmx_off();
+ vmx_off(NULL);
}
/* -----------------------------------------------------------------------------
VMX_KPRINTF("vmx_resume\n");
vmx_init(); /* init VMX on CPU #0 */
if (vmx_use_count)
- vmx_on();
+ vmx_on(NULL);
}