Searched refs:vcpufd (Results 1 – 1 of 1) sorted by relevance
100 int vcpufd = ioctl(vmfd, KVM_CREATE_VCPU, 0); in main() local101 printf("vcpufd=%d\n", vcpufd); in main()108 ioctl(vcpufd, KVM_SET_REGS, ®s); // set registers in main()110 ioctl(vcpufd, KVM_RUN, 0); in main()