Adding sender field to memory region descriptor.
This was added in the latest SPCI specification beta.
Bug: 132420445
Change-Id: I75b6e08e95bb257f362cc912c0fd946a7171a417
diff --git a/inc/vmapi/hf/spci.h b/inc/vmapi/hf/spci.h
index 2181799..12600c1 100644
--- a/inc/vmapi/hf/spci.h
+++ b/inc/vmapi/hf/spci.h
@@ -264,6 +264,10 @@
uint32_t tag;
/** Flags to control behaviour of the transaction. */
spci_memory_region_flags_t flags;
+ /** Sender VM ID. */
+ spci_vm_id_t sender;
+ /** Reserved field, must be 0. */
+ uint16_t reserved;
/**
* The total number of 4 kiB pages included in this memory region. This
* must be equal to the sum of page counts specified in each
@@ -306,7 +310,8 @@
}
uint32_t spci_memory_region_init(
- struct spci_memory_region *memory_region, spci_vm_id_t receiver,
+ struct spci_memory_region *memory_region, spci_vm_id_t sender,
+ spci_vm_id_t receiver,
const struct spci_memory_region_constituent constituents[],
uint32_t constituent_count, uint32_t tag,
spci_memory_region_flags_t flags, enum spci_memory_access access,