| commit | 01390ae4e344f1363f1c169e3430fa3e72cafaee | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Wed Jun 19 11:32:46 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Wed Jun 19 15:39:57 2019 +0100 |
| tree | 3c53c15aa1e9f8c2bb3573372c562b3163a96d3f | |
| parent | ece5ef4a217938841e3157d258212c6d29e3a326 [diff] |
Consistently use spci_vm_id_t for VM ID. Change-Id: I1ce2b315e025478bc780a57e56f12eead932cb2e