| Boyan Karatotev | 8cef63d | 2025-01-07 11:26:56 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2025, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| Boyan Karatotev | 13b6281 | 2024-11-20 14:02:32 +0000 | [diff] [blame^] | 6 | |
| 7 | #include <bl31/interrupt_mgmt.h> |
| 8 | #include <drivers/arm/gicv5.h> |
| 9 | |
| 10 | uint32_t plat_ic_get_pending_interrupt_type(void) |
| 11 | { |
| 12 | return gicv5_get_pending_interrupt_type(); |
| 13 | } |
| 14 | |
| 15 | bool plat_ic_has_interrupt_type(unsigned int type) |
| 16 | { |
| 17 | return gicv5_has_interrupt_type(type); |
| 18 | } |