tree f923ea731298de198db336160e357626affcc243
parent fc0b2b6515356dcd4597af7cf6c55228237497c7
author Andrew Walbran <qwandor@google.com> 1560940374 +0100
committer Andrew Walbran <qwandor@google.com> 1560955210 +0100

Consistently use spci_vm_id_t for VM ID.

Before we had a mix of spci_vm_id_t, uint32_t and uint64_t.

Change-Id: I7b51e48490f0f54064e1121242052873bddad2b5