VMM(2)                   DragonFly System Calls Manual                  VMM(2)

NAME
     vmm_guest_ctl, vmm_guest_sync_addr -- VMM mode control

LIBRARY
     Standard C Library (libc, -lc)

SYNOPSIS
     int
     vmm_guest_ctl(int op, struct guest_options *options);

     int
     vmm_guest_sync_addr(long *dstaddr, long *srcaddr);

DESCRIPTION
     The only op currently supported by vmm_guest_ctl() is VMM_GUEST_RUN,
     which bootstraps the calling process as a VMM process running with
     extended/nested page table support (two layers of page tables).  The
     guest_options struct is defined in <sys/vmm.h>.

     The vmm_guest_sync_addr() function copies the content of srcaddr to
     dstaddr, synchronizing with all CPUs which are in VMM mode (i.e., all
     CPUs will see srcaddr's value at dstaddr).

HISTORY
     vmm_guest_ctl() and vmm_guest_sync_addr() were added in DragonFly 3.5.

AUTHORS
     Mihai Carabas

DragonFly 3.5                 September 25, 2013                 DragonFly 3.5