xref: /rk3399_ARM-atf/plat/common/plat_gicv5.c (revision d154fe2bf0616f2e78965207c32b6e83ba12292e) 
1 /*
2  * Copyright (c) 2025, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <bl31/interrupt_mgmt.h>
8 #include <drivers/arm/gicv5.h>
9 
plat_ic_get_pending_interrupt_type(void)10 uint32_t plat_ic_get_pending_interrupt_type(void)
11 {
12 	return gicv5_get_pending_interrupt_type();
13 }
14 
plat_ic_has_interrupt_type(unsigned int type)15 bool plat_ic_has_interrupt_type(unsigned int type)
16 {
17 	return gicv5_has_interrupt_type(type);
18 }
19