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