| Antonio Nino Diaz | 652d20a | 2018-12-10 17:17:33 +0000 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef SPCI_HELPERS_H |
| 8 | #define SPCI_HELPERS_H |
| 9 | |
| 10 | #include <utils_def.h> |
| 11 | |
| 12 | /* This error code must be different to the ones used by SPCI */ |
| 13 | #define SPCI_TFTF_ERROR -42 |
| 14 | |
| 15 | /* Client ID used for SPCI calls */ |
| 16 | #define TFTF_SPCI_CLIENT_ID U(0x00007F7F) |
| 17 | |
| 18 | #ifndef __ASSEMBLY__ |
| 19 | |
| 20 | #include <stdint.h> |
| 21 | #include <types.h> |
| 22 | |
| 23 | int spci_service_handle_open(uint16_t client_id, uint16_t *handle, |
| 24 | uint32_t uuid1, uint32_t uuid2, |
| 25 | uint32_t uuid3, uint32_t uuid4); |
| 26 | int spci_service_handle_close(uint16_t client_id, uint16_t handle); |
| 27 | |
| 28 | #endif /* __ASSEMBLY__ */ |
| 29 | |
| 30 | #endif /* SPCI_HELPERS_H */ |