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 <cdefs.h> 8*13b62814SBoyan Karatotev #include <drivers/arm/gic.h> 9*13b62814SBoyan Karatotev #include <drivers/arm/gicv5.h> 10*13b62814SBoyan Karatotev 11*13b62814SBoyan Karatotev #if USE_GIC_DRIVER != 5 12*13b62814SBoyan Karatotev #error "This file should only be used with USE_GIC_DRIVER=5" 13*13b62814SBoyan Karatotev #endif 14*13b62814SBoyan Karatotev gic_init(unsigned int cpu_idx)15*13b62814SBoyan Karatotevvoid __init gic_init(unsigned int cpu_idx) 16*13b62814SBoyan Karatotev { 17*13b62814SBoyan Karatotev gicv5_driver_init(); 18*13b62814SBoyan Karatotev } 19*13b62814SBoyan Karatotev gic_save(void)20*13b62814SBoyan Karatotevvoid gic_save(void) 21*13b62814SBoyan Karatotev { 22*13b62814SBoyan Karatotev } 23*13b62814SBoyan Karatotev gic_resume(void)24*13b62814SBoyan Karatotevvoid gic_resume(void) 25*13b62814SBoyan Karatotev { 26*13b62814SBoyan Karatotev } 27