Return SPCI_MEM_* rather than SPCI_MSG_SEND for push memory sharing.
Bug: 132420445
Change-Id: I80cb9832f90899eeb57af2cf209f0fa5f2fc1ca9
diff --git a/inc/hf/vm.h b/inc/hf/vm.h
index 9fff714..e421a3d 100644
--- a/inc/hf/vm.h
+++ b/inc/hf/vm.h
@@ -79,8 +79,11 @@
/** The size of the message currently in `recv`. */
uint32_t recv_size;
- /** The attributes of the message currently in `recv`. */
- uint32_t recv_attributes;
+ /**
+ * The SPCI function ID to use to deliver the message currently in
+ * `recv`.
+ */
+ uint32_t recv_func;
/**
* List of wait_entry structs representing VMs that want to be notified