| commit | ddc3394d6462cd4e4a33ea3dc7edca7aed0f1ca3 | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Tue Jun 25 18:32:02 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Wed Jun 26 13:28:45 2019 +0100 |
| tree | fd84bf31cf25e68ceae3607b2ccc29942f09e7c3 | |
| parent | 01390ae4e344f1363f1c169e3430fa3e72cafaee [diff] |
Use spci_vcpu_index_t for vCPU indices. Change-Id: Ia4817abcec05a3c46f0006274d0f6183bae69c3f