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
15 #include <jailhouse/types.h>
20 void gic_enable(unsigned int irqn);
21 void gic_write_eoi(u32 irqn);
22 u32 gic_read_ack(void);
24 #endif /* !__ASSEMBLY__ */