*/
#include <asm/gic_common.h>
-#include <inmates/inmate.h>
#include <mach/timer.h>
+#include <inmate.h>
#define BEATS_PER_SEC 10
* the COPYING file in the top-level directory.
*/
-#include <inmates/inmate.h>
+#include <inmate.h>
/*
* To ease the debugging, we can send a spurious hypercall, which should return
*/
#include <asm/gic_common.h>
#include <asm/gic_v2.h>
-#include <inmates/gic.h>
-#include <inmates/inmate.h>
#include <mach/gic_v2.h>
+#include <gic.h>
void gic_enable(unsigned int irqn)
{
*/
#include <asm/gic_common.h>
#include <asm/gic_v3.h>
-#include <inmates/gic.h>
#include <mach/gic_v3.h>
+#include <gic.h>
void gic_enable(unsigned int irqn)
{
* the COPYING file in the top-level directory.
*/
-#include <inmates/inmate.h>
-#include <inmates/gic.h>
+#include <inmate.h>
+#include <gic.h>
static irq_handler_t irq_handler = (irq_handler_t)NULL;
static __attribute__((aligned(0x1000))) u32 irq_stack[1024];
* This work is licensed under the terms of the GNU GPL, version 2. See
* the COPYING file in the top-level directory.
*/
-#ifndef _JAILHOUSE_INMATES_INMATE_H
-#define _JAILHOUSE_INMATES_INMATE_H
+
+#ifndef _JAILHOUSE_INMATE_H
+#define _JAILHOUSE_INMATE_H
#ifndef __ASSEMBLY__
typedef signed char s8;
void timer_start(u64 timeout);
#endif /* !__ASSEMBLY__ */
-#endif
+#endif /* !_JAILHOUSE_INMATE_H */
#include <jailhouse/types.h>
#include <asm/debug.h>
#include <stdarg.h>
-#include <inmates/inmate.h>
+#include <inmate.h>
static struct uart_chip chip;
*/
#include <asm/sysregs.h>
-#include <inmates/inmate.h>
+#include <inmate.h>
unsigned long timer_get_frequency(void)
{