commit fc6cd9d610bd6bf1bf187d8df2ddb6976ae4c885
author Andrew Walbran <qwandor@google.com> Tue Jun 25 15:23:27 2019 +0100
committer Andrew Walbran <qwandor@google.com> Tue Jun 25 17:39:25 2019 +0100
tree 31e18c489a8656aaa494d90ee1605efd69a0df39
parent e22b32f6f93bb9c2426a292e406ed9401da04e47

Fix a case where spci_vm_id_t should be used.

Change-Id: I76dcf01cbafe1fd995e56515b9c4d856bd0fa215

inc/hf/api.h

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);

src/api.c

diff --git a/src/api.c b/src/api.c
index 59a346d..698e788 100644
--- a/src/api.c
+++ b/src/api.c
@@ -208,7 +208,7 @@
 /**
  * Returns the ID of the VM.
  */
-int64_t api_vm_get_id(const struct vcpu *current)
+spci_vm_id_t api_vm_get_id(const struct vcpu *current)
 {
 	return current->vm->id;
 }