| Antonio Nino Diaz | 9bf1d23 | 2018-11-08 09:21:48 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | #ifndef SPRT_HOST_H |
| 7 | #define SPRT_HOST_H |
| 8 | |
| 9 | #include <stddef.h> |
| 10 | |
| 11 | #include "sprt_common.h" |
| 12 | |
| 13 | /* |
| 14 | * Initialize the specified buffer to be used by SPM. |
| 15 | */ |
| 16 | void sprt_initialize_queues(void *buffer_base, size_t buffer_size); |
| 17 | |
| 18 | /* |
| 19 | * Push a message to the queue number `queue_num` in a buffer that has been |
| 20 | * initialized by `sprt_initialize_queues`. |
| 21 | */ |
| 22 | int sprt_push_message(void *buffer_base, |
| 23 | const struct sprt_queue_entry_message *message, |
| 24 | int queue_num); |
| 25 | |
| 26 | #endif /* SPRT_HOST_H */ |