commit 7f920af61e3a483407d90d846aaf679d8e1d0136
author Andrew Walbran <qwandor@google.com> Tue Sep 03 17:09:30 2019 +0100
committer Andrew Walbran <qwandor@google.com> Fri Sep 27 15:23:08 2019 +0100
tree 794985d96c7f6ea96904b104917cf4ab3460225b
parent f1d6dc527848fbccec8372c26c3ee65079f55b17

Using new-style return values for spci_version.

Bug: 132395846
Change-Id: I7d1a926b8dab526b3d8c3c6d06a8c136e5639e5e

inc/hf/api.h

diff --git a/inc/hf/api.h b/inc/hf/api.h
index e041c96..7dcdad3 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -21,6 +21,7 @@
 #include "hf/vm.h"
 
 #include "vmapi/hf/call.h"
+#include "vmapi/hf/spci.h"
 
 void api_init(struct mpool *ppool);
 spci_vm_id_t api_vm_get_id(const struct vcpu *current);
@@ -57,7 +58,7 @@
 				struct vcpu **next);
 int32_t api_spci_msg_recv(bool block, struct vcpu *current, struct vcpu **next);
 int32_t api_spci_yield(struct vcpu *current, struct vcpu **next);
-int32_t api_spci_version(void);
+struct spci_value api_spci_version(void);
 spci_return_t api_spci_share_memory(struct vm_locked to_locked,
 				    struct vm_locked from_locked,
 				    struct spci_memory_region *memory_region,