Introduce spci_vm_count_t for count of VMs.
Change-Id: I4eae492136019c6a39b2d06b59793f021b4e07bb
diff --git a/inc/hf/api.h b/inc/hf/api.h
index 21bed0c..7d6b7c0 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -24,7 +24,7 @@
void api_init(struct mpool *ppool);
spci_vm_id_t api_vm_get_id(const struct vcpu *current);
-int64_t api_vm_get_count(void);
+spci_vm_count_t api_vm_get_count(void);
int64_t api_vcpu_get_count(spci_vm_id_t vm_id, const struct vcpu *current);
void api_regs_state_saved(struct vcpu *vcpu);
struct hf_vcpu_run_return api_vcpu_run(spci_vm_id_t vm_id, uint32_t vcpu_idx,