/* SPDX-License-Identifier: GPL-2.0+ */
#include <linux/module.h>

#ifndef __RTE_GIC__
#define __RTE_GIC__

extern uint32_t rte_gicc_read(uint32_t offset);
extern uint32_t rte_gicd_read(uint32_t offset);

extern void rte_gicc_write(uint32_t offset, uint32_t data);
extern void rte_gicd_write(uint32_t offset, uint32_t data);

#ifdef CONFIG_AVM_FASTIRQ_TZ
static inline void rte_init_gic_lower(void)
{
}

static inline bool rte_gic_lower_ready(void)
{
	return true;
}
#else
extern void rte_init_gic_lower(void);
extern bool rte_gic_lower_ready(void);
#endif

#endif