SPM: Add more SPCI helpers
Change-Id: I966b1a8742eba197db2e983c1f0dd3ae0efa2541
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
diff --git a/include/runtime_services/spci_helpers.h b/include/runtime_services/spci_helpers.h
index fa7eeae..3452452 100644
--- a/include/runtime_services/spci_helpers.h
+++ b/include/runtime_services/spci_helpers.h
@@ -25,6 +25,25 @@
uint32_t uuid3, uint32_t uuid4);
int spci_service_handle_close(uint16_t client_id, uint16_t handle);
+int spci_service_request_start(u_register_t x1, u_register_t x2,
+ u_register_t x3, u_register_t x4,
+ u_register_t x5, u_register_t x6,
+ uint16_t client_id, uint16_t handle,
+ uint32_t *token);
+int spci_service_request_resume(uint16_t client_id, uint16_t handle,
+ uint32_t token, u_register_t *x1,
+ u_register_t *x2, u_register_t *x3);
+int spci_service_get_response(uint16_t client_id, uint16_t handle,
+ uint32_t token, u_register_t *x1,
+ u_register_t *x2, u_register_t *x3);
+
+int spci_service_request_blocking(u_register_t x1, u_register_t x2,
+ u_register_t x3, u_register_t x4,
+ u_register_t x5, u_register_t x6,
+ uint16_t client_id, uint16_t handle,
+ u_register_t *rx1, u_register_t *rx2,
+ u_register_t *rx3);
+
#endif /* __ASSEMBLY__ */
#endif /* SPCI_HELPERS_H */