Symbol: vm_id2vmid