tree 95be8acbf2191877cce8c8be5dbb0ae9b0bdc7cd
parent 52d9967781b9a15df54eb5cd1c4e873a471be86a
author Andrew Walbran <qwandor@google.com> 1561479581 +0100
committer Andrew Walbran <qwandor@google.com> 1561655883 +0100

Introduce typedef for vCPU index.

Change-Id: I51194706edb86811487f2a22b3bda5405e605b5e