vm_vmid2id
uint32_t vm_vmid2id(uint32_t, struct vmd_vm *);
vtp.vtp_vm_id = vm_vmid2id(vm->vm_vmid, vm);
if (vm_vmid2id(vm->vm_vmid, vm) == 0) {