1 /*
2  * Copyright (c) 2018-2021, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef SGI_RAS_H
8 #define SGI_RAS_H
9 
10 /*
11  * Mapping the RAS interrupt with SDEI event number and the event
12  * id used with Standalone MM code
13  */
14 struct sgi_ras_ev_map {
15 	int sdei_ev_num;	/* SDEI Event number */
16 	int intr;		/* Physical intr number */
17 };
18 
19 int sgi_ras_intr_handler_setup(void);
20 
21 #endif /* SGI_RAS_H */
22