/*
 * Copyright (c) 2018, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef SPCI_HELPERS_H
#define SPCI_HELPERS_H

#include <utils_def.h>

/* This error code must be different to the ones used by SPCI */
#define SPCI_TFTF_ERROR		-42

/* Client ID used for SPCI calls */
#define TFTF_SPCI_CLIENT_ID	U(0x00007F7F)

#ifndef __ASSEMBLY__

#include <stdint.h>
#include <types.h>

int spci_service_handle_open(uint16_t client_id, uint16_t *handle,
			     uint32_t uuid1, uint32_t uuid2,
			     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 */