Add typedef for SPCI cookie.
Bug: 132420445
Change-Id: Ic0a8269dae33100036d4a937adf3c02ab28809dc
diff --git a/src/api.c b/src/api.c
index 981fd5d..8f8272e 100644
--- a/src/api.c
+++ b/src/api.c
@@ -1451,7 +1451,7 @@
struct spci_value api_spci_mem_send(uint32_t share_func, ipaddr_t address,
uint32_t page_count,
uint32_t fragment_length, uint32_t length,
- uint32_t cookie, struct vcpu *current,
+ spci_cookie_t cookie, struct vcpu *current,
struct vcpu **next)
{
struct vm *from = current->vm;
@@ -1588,11 +1588,9 @@
return ret;
}
-struct spci_value api_spci_mem_retrieve_req(ipaddr_t address,
- uint32_t page_count,
- uint32_t fragment_length,
- uint32_t length, uint32_t cookie,
- struct vcpu *current)
+struct spci_value api_spci_mem_retrieve_req(
+ ipaddr_t address, uint32_t page_count, uint32_t fragment_length,
+ uint32_t length, spci_cookie_t cookie, struct vcpu *current)
{
struct vm *to = current->vm;
struct vm_locked to_locked;