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