commit 52d9967781b9a15df54eb5cd1c4e873a471be86a
author Andrew Walbran <qwandor@google.com> Tue Jun 25 15:51:11 2019 +0100
committer Andrew Walbran <qwandor@google.com> Thu Jun 27 18:17:50 2019 +0100
tree d3b276732b4e00336c38390933559589bbb78332
parent 25d897e00d0012b00f1146151cb8d97f27901383

Introduce spci_vm_count_t for count of VMs.

Change-Id: I4eae492136019c6a39b2d06b59793f021b4e07bb

src/vm.c

diff --git a/src/vm.c b/src/vm.c
index e9919d8..8532144 100644
--- a/src/vm.c
+++ b/src/vm.c
@@ -23,7 +23,7 @@
 #include "vmapi/hf/call.h"
 
 static struct vm vms[MAX_VMS];
-static uint32_t vm_count;
+static spci_vm_count_t vm_count;
 
 bool vm_init(uint32_t vcpu_count, struct mpool *ppool, struct vm **new_vm)
 {
@@ -69,7 +69,7 @@
 	return true;
 }
 
-uint32_t vm_get_count(void)
+spci_vm_count_t vm_get_count(void)
 {
 	return vm_count;
 }