sys-gic.h

Go to the documentation of this file.

/* SPDX-License-Identifier: GPL-2.0+ */
 
#ifndef _SYS_GIC_H_
#define _SYS_GIC_H_
 
#include <io.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <types.h>
 
#include <common.h>
#include <log.h>
 
#include <sys-intc.h>
 
#include <reg-ncat.h>
#include <reg-gic.h>
 
#ifdef __cplusplus
extern "C" {
#endif// __cplusplus
 
void do_irq(struct arm_regs_t *regs);
 
int arch_interrupt_init(void);
 
int arch_interrupt_exit(void);
 
int sunxi_gic_cpu_interface_init(int cpu);
 
int sunxi_gic_cpu_interface_exit(void);
 
#ifdef __cplusplus
}
#endif// __cplusplus
 
#endif// _SYS_GIC_H_