blob: d2f4b37f418ee8a036577e5e9132b9f17b02a30f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/*
* Copyright (c) 2018, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#ifndef __SGI_H__
#define __SGI_H__
/* Data associated with the reception of an SGI */
typedef struct {
/* Interrupt ID of the signaled interrupt */
unsigned int irq_id;
} sgi_data_t;
/*
* Send an SGI to a given core.
*/
void tftf_send_sgi(unsigned int sgi_id, unsigned int core_pos);
#endif /* __SGI_H__ */
|