Add typedef for SPCI cookie.
Bug: 132420445
Change-Id: Ic0a8269dae33100036d4a937adf3c02ab28809dc
diff --git a/inc/hf/api.h b/inc/hf/api.h
index d6de2cb..9de3928 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -63,13 +63,11 @@
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 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 spci_value api_spci_mem_relinquish(struct vcpu *current);
struct spci_value api_spci_mem_reclaim(uint32_t handle, uint32_t flags,
struct vcpu *current);