| Pankaj Gupta | 988bbb2 | 2020-12-09 14:02:40 +0530 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2020 NXP |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
| 8 | #ifndef LS_EL3_INTRPT_MGMT_H |
| 9 | #define LS_EL3_INTRPT_MGMT_H |
| 10 | |
| 11 | #include <bl31/interrupt_mgmt.h> |
| 12 | |
| 13 | #define MAX_INTR_EL3 128 |
| 14 | |
| 15 | /* |
| 16 | * Register handler to specific GIC entrance |
| 17 | * for INTR_TYPE_EL3 type of interrupt |
| 18 | */ |
| 19 | int request_intr_type_el3(uint32_t id, interrupt_type_handler_t handler); |
| 20 | |
| 21 | void ls_el3_interrupt_config(void); |
| 22 | |
| 23 | #endif /* LS_EL3_INTRPT_MGMT_H */ |