Symbol: NVMM_IOC_VCPU_RUN
lib/libnvmm/libnvmm.c
431
ret = ioctl(nvmm_fd, NVMM_IOC_VCPU_RUN, &args);
sys/dev/nvmm/nvmm.c
1239
case NVMM_IOC_VCPU_RUN: