1 /* 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_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 ras_ev_num; /* RAS Event number */ 16 int sdei_ev_num; /* SDEI Event number */ 17 int intr; /* Physical intr number */ 18 }; 19 20 int sgi_ras_intr_handler_setup(void); 21 22 #endif /* SGI_RAS_H */ 23