| /* |
| * Copyright (c) 2024-2025, Arm Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| #ifndef GIC_H |
| #define GIC_H |
| /* the function names conflict with some platform implementations. */ |
| #if USE_GIC_DRIVER |
| void gic_init(unsigned int cpu_idx); |
| void gic_cpuif_enable(unsigned int cpu_idx); |
| void gic_cpuif_disable(unsigned int cpu_idx); |
| void gic_pcpu_off(unsigned int cpu_idx); |
| void gic_pcpu_init(unsigned int cpu_idx); |
| void gic_save(void); |
| void gic_resume(void); |
| #endif |
| #endif /* GIC_H */ |