49 	int vcpu_id, ret;  in main()  local
68 	ret = ioctl(hsm_fd, ACRN_IOCTL_CREATE_VM, &create_vm);  in main()
69 	printf("Created VM! [%d]\n", ret);  in main()
79 	ret = ioctl(hsm_fd, ACRN_IOCTL_SET_MEMSEG, &ram_map);  in main()
80 	printf("Set up VM memory! [%d]\n", ret);  in main()
97 	ret = ioctl(hsm_fd, ACRN_IOCTL_SET_VCPU_REGS, &regs);  in main()
98 	printf("Set up VM BSP registers! [%d]\n", ret);  in main()
101 	ret = ioctl(hsm_fd, ACRN_IOCTL_CREATE_IOREQ_CLIENT, 0);  in main()
102 	printf("Created IO request client! [%d]\n", ret);  in main()
105 	ret = ioctl(hsm_fd, ACRN_IOCTL_START_VM, vmid);  in main()
106 	printf("Start VM! [%d]\n", ret);  in main()
110 		ret = ioctl(hsm_fd, ACRN_IOCTL_ATTACH_IOREQ_CLIENT, 0);  in main()
131 	ret = ioctl(hsm_fd, ACRN_IOCTL_DESTROY_VM, NULL);  in main()
132 	printf("Destroy VM! [%d]\n", ret);  in main()