|
@@ -10,8 +10,6 @@
|
|
|
#ifndef __ASM_ARM_HARDWARE_GIC_H
|
|
|
#define __ASM_ARM_HARDWARE_GIC_H
|
|
|
|
|
|
-#include <linux/compiler.h>
|
|
|
-
|
|
|
#define GIC_CPU_CTRL 0x00
|
|
|
#define GIC_CPU_PRIMASK 0x04
|
|
|
#define GIC_CPU_BINPOINT 0x08
|
|
@@ -32,8 +30,6 @@
|
|
|
#define GIC_DIST_CONFIG 0xc00
|
|
|
#define GIC_DIST_SOFTINT 0xf00
|
|
|
|
|
|
-#ifndef __ASSEMBLY__
|
|
|
-#include <linux/irqdomain.h>
|
|
|
struct device_node;
|
|
|
|
|
|
extern struct irq_chip gic_arch_extn;
|
|
@@ -53,5 +49,3 @@ static inline void gic_init(unsigned int nr, int start,
|
|
|
}
|
|
|
|
|
|
#endif
|
|
|
-
|
|
|
-#endif
|