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 <drivers/arm/gic.h> 8*13b62814SBoyan Karatotev #include <drivers/arm/gicv5.h> 9*13b62814SBoyan Karatotev 10*13b62814SBoyan Karatotev void gic_cpuif_enable(unsigned int cpu_idx) 11*13b62814SBoyan Karatotev { 12*13b62814SBoyan Karatotev } 13*13b62814SBoyan Karatotev 14*13b62814SBoyan Karatotev void gic_cpuif_disable(unsigned int cpu_idx) 15*13b62814SBoyan Karatotev { 16*13b62814SBoyan Karatotev } 17*13b62814SBoyan Karatotev 18*13b62814SBoyan Karatotev void gic_pcpu_init(unsigned int cpu_idx) 19*13b62814SBoyan Karatotev { 20*13b62814SBoyan Karatotev } 21*13b62814SBoyan Karatotev 22*13b62814SBoyan Karatotev void gic_pcpu_off(unsigned int cpu_idx) 23*13b62814SBoyan Karatotev { 24*13b62814SBoyan Karatotev } 25*13b62814SBoyan Karatotev 26