blob: e1885607241f1200b4ce0fd1f6559c4629de6290 [file] [log] [blame]
Imre Kis9fcf8412020-11-23 03:15:45 +01001/* SPDX-License-Identifier: BSD-3-Clause */
2/*
3 * Copyright (c) 2020, Arm Limited and Contributors. All rights reserved.
4 */
5
6#ifndef LIBSP_INCLUDE_SP_API_H_
7#define LIBSP_INCLUDE_SP_API_H_
8
9#include <stdint.h> // for uint32_t
10#include "compiler.h" // for __noreturn
11#include "ffa_api.h"
12
13/**
14 * Interface for the SP implementation
15 */
16
17/**
18 * @brief Interrupt handler of the SP. It is called by the implementation
19 * of ffa_interrupt_handler. SPs must implement this function.
20 *
21 * @param[in] interrupt_id The interrupt identifier
22 */
23void sp_interrupt_handler(uint32_t interrupt_id);
24
25/**
26 * @brief Entry point of the SP's application code. SPs must implement this
27 * function.
28 *
29 * @param init_info The boot info
30 */
31void __noreturn sp_main(struct ffa_init_info *init_info);
32
33#endif /* LIBSP_INCLUDE_SP_API_H_ */