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