Symbol: VM_RUN_13
sys/amd64/vmm/vmm_dev_machdep.c
112
VMMDEV_IOCTL(VM_RUN_13, VMMDEV_IOCTL_LOCK_ONE_VCPU),
sys/amd64/vmm/vmm_dev_machdep.c
220
case VM_RUN_13: {