ioctl_num_vms() finished