tree d3b276732b4e00336c38390933559589bbb78332
parent 25d897e00d0012b00f1146151cb8d97f27901383
author Andrew Walbran <qwandor@google.com> 1561474271 +0100
committer Andrew Walbran <qwandor@google.com> 1561655870 +0100

Introduce spci_vm_count_t for count of VMs.

Change-Id: I4eae492136019c6a39b2d06b59793f021b4e07bb