Using SPCI memory sharing functions rather than MSG_SEND.
Bug: 132420445
Change-Id: I1d29ebfdf179c7a7c07223f8c027c22c055d333a
diff --git a/inc/hf/api.h b/inc/hf/api.h
index cfbff86..dacc889 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -60,3 +60,8 @@
struct spci_value api_spci_features(uint32_t function_id);
struct spci_value api_spci_run(spci_vm_id_t vm_id, spci_vcpu_index_t vcpu_idx,
const struct vcpu *current, struct vcpu **next);
+struct spci_value api_spci_mem_send(uint32_t share_type, ipaddr_t address,
+ uint32_t page_count,
+ uint32_t remaining_fragment_count,
+ uint32_t length, uint32_t handle,
+ struct vcpu *current, struct vcpu **next);