vm-tid: get tid of the vcpu of a running vm