tree 69a2aab20ee6aa98bc7867b5535bbd75c865c3d2
parent 3eeb1de32dc117cf58114ca7775b94a2197b0b2f
author Andrew Walbran <qwandor@google.com> 1561483976 +0100
committer Andrew Walbran <qwandor@google.com> 1562336396 +0100

Use spci_vm_id_t and spci_vm_count_t in more places.

Change-Id: Iedbf09517e6f5dac91a981032503b89861a7c64f