Symbol: VM_GET_REGISTER_SET
lib/libvmmapi/internal.h
49
VM_GET_REGISTER_SET, \
lib/libvmmapi/vmmapi.c
803
error = vcpu_ioctl(vcpu, VM_GET_REGISTER_SET, &vmregset);
sys/dev/vmm/vmm_dev.c
384
VMMDEV_IOCTL(VM_GET_REGISTER_SET, VMMDEV_IOCTL_LOCK_ONE_VCPU),
sys/dev/vmm/vmm_dev.c
645
case VM_GET_REGISTER_SET: {