24 lines
434 B
C
24 lines
434 B
C
/*
|
|
* 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 */
|