Searched refs:vcpu_id (Results 1 – 2 of 2) sorted by relevance
49 int vcpu_id, ret; in main() local86 regs.vcpu_id = 0; in main()112 for (vcpu_id = 0; vcpu_id < vcpu_num; vcpu_id++) { in main()113 io_req = &io_req_buf[vcpu_id]; in main()125 notify.vcpu = vcpu_id; in main()
518 static int ne_add_vcpu(int enclave_fd, unsigned int *vcpu_id) in ne_add_vcpu() argument522 rc = ioctl(enclave_fd, NE_ADD_VCPU, vcpu_id); in ne_add_vcpu()