2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) ARM Limited, 2014
7 * Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
12 #ifndef _JAILHOUSE_INMATES_GIC_H
13 #define _JAILHOUSE_INMATES_GIC_H
17 #define GICD_ISENABLER 0x0100
19 #define is_spi(irqn) ((irqn) > 31 && (irqn) < 1020)
24 void gic_enable(unsigned int irqn);
25 void gic_write_eoi(u32 irqn);
26 u32 gic_read_ack(void);
28 #endif /* !__ASSEMBLY__ */