/* | |
* Copyright 2020 NXP | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
* | |
*/ | |
#ifndef LS_EL3_INTRPT_MGMT_H | |
#define LS_EL3_INTRPT_MGMT_H | |
#include <bl31/interrupt_mgmt.h> | |
#define MAX_INTR_EL3 128 | |
/* | |
* Register handler to specific GIC entrance | |
* for INTR_TYPE_EL3 type of interrupt | |
*/ | |
int request_intr_type_el3(uint32_t id, interrupt_type_handler_t handler); | |
void ls_el3_interrupt_config(void); | |
#endif /* LS_EL3_INTRPT_MGMT_H */ |