Fix a case where spci_vm_id_t should be used.
Change-Id: I76dcf01cbafe1fd995e56515b9c4d856bd0fa215
diff --git a/inc/hf/api.h b/inc/hf/api.h
index a0151c0..21bed0c 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -23,7 +23,7 @@
#include "vmapi/hf/call.h"
void api_init(struct mpool *ppool);
-int64_t api_vm_get_id(const struct vcpu *current);
+spci_vm_id_t api_vm_get_id(const struct vcpu *current);
int64_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);