tree 3c53c15aa1e9f8c2bb3573372c562b3163a96d3f
parent ece5ef4a217938841e3157d258212c6d29e3a326
author Andrew Walbran <qwandor@google.com> 1560940366 +0100
committer Andrew Walbran <qwandor@google.com> 1560955197 +0100

Consistently use spci_vm_id_t for VM ID.

Change-Id: I1ce2b315e025478bc780a57e56f12eead932cb2e