aboutsummaryrefslogtreecommitdiff
path: root/include/lib/sgi.h
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__ */