tree c4c428d1c4844a7b9e1a0caaa03da9ddc65dd8cd
parent 549a9f288bc48b30dacabaf9eb41fac369e8cc15
author Andrew Walbran <qwandor@google.com> 1557406743 +0100
committer Andrew Walbran <qwandor@google.com> 1557490415 +0000

Use spci_vm_id_t for VM IDs, and rename vm_get to vm_find.

This means that we consistently use _get for looking up by index, _find
for looking up by ID (even if the ID happens to be the same as the index
for now).

Change-Id: I54c958be771151316781f80e2057e3076fc4ae0c