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