| Boyan Karatotev | 9bc6574 | 2025-01-07 11:00:03 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2024-2025, Arm Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | #ifndef GIC_H |
| 7 | #define GIC_H |
| 8 | /* the function names conflict with some platform implementations. */ |
| 9 | #if USE_GIC_DRIVER |
| 10 | void gic_init(unsigned int cpu_idx); |
| 11 | void gic_cpuif_enable(unsigned int cpu_idx); |
| 12 | void gic_cpuif_disable(unsigned int cpu_idx); |
| 13 | void gic_pcpu_off(unsigned int cpu_idx); |
| 14 | void gic_pcpu_init(unsigned int cpu_idx); |
| 15 | void gic_save(void); |
| 16 | void gic_resume(void); |
| 17 | #endif |
| 18 | #endif /* GIC_H */ |