1*91f16700Schasinglulu /* 2*91f16700Schasinglulu * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 3*91f16700Schasinglulu * 4*91f16700Schasinglulu * SPDX-License-Identifier: BSD-3-Clause 5*91f16700Schasinglulu */ 6*91f16700Schasinglulu 7*91f16700Schasinglulu #ifndef K3_GICV3_H 8*91f16700Schasinglulu #define K3_GICV3_H 9*91f16700Schasinglulu 10*91f16700Schasinglulu #include <stdint.h> 11*91f16700Schasinglulu 12*91f16700Schasinglulu void k3_gic_driver_init(uintptr_t gic_base); 13*91f16700Schasinglulu void k3_gic_init(void); 14*91f16700Schasinglulu void k3_gic_cpuif_enable(void); 15*91f16700Schasinglulu void k3_gic_cpuif_disable(void); 16*91f16700Schasinglulu void k3_gic_pcpu_init(void); 17*91f16700Schasinglulu void k3_gic_save_context(void); 18*91f16700Schasinglulu void k3_gic_restore_context(void); 19*91f16700Schasinglulu 20*91f16700Schasinglulu #endif /* K3_GICV3_H */ 21