SPCI: SPCI_MSG_RECV.
Morph the existing vmapi api_mailbox_receive onto
api_spci_msg_recv.
Change-Id: Ie78f8985cfc55509fcd71eece22d6397b52d717d
diff --git a/inc/hf/api.h b/inc/hf/api.h
index e588575..c63f95c 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -32,9 +32,6 @@
struct vcpu **next);
int64_t api_vm_configure(ipaddr_t send, ipaddr_t recv, struct vcpu *current,
struct vcpu **next);
-struct hf_mailbox_receive_return api_mailbox_receive(bool block,
- struct vcpu *current,
- struct vcpu **next);
int64_t api_mailbox_clear(struct vcpu *current, struct vcpu **next);
int64_t api_mailbox_writable_get(const struct vcpu *current);
int64_t api_mailbox_waiter_get(uint32_t vm_id, const struct vcpu *current);
@@ -54,3 +51,5 @@
int32_t api_spci_msg_send(uint32_t attributes, struct vcpu *current,
struct vcpu **next);
+int32_t api_spci_msg_recv(uint32_t attributes, struct vcpu *current,
+ struct vcpu **next);