tree fd84bf31cf25e68ceae3607b2ccc29942f09e7c3
parent 01390ae4e344f1363f1c169e3430fa3e72cafaee
author Andrew Walbran <qwandor@google.com> 1561483922 +0100
committer Andrew Walbran <qwandor@google.com> 1561552125 +0100

Use spci_vcpu_index_t for vCPU indices.

Change-Id: Ia4817abcec05a3c46f0006274d0f6183bae69c3f