Signed-off-by: Ralf Ramsauer <[email protected]>
---
 inmates/demos/arm/gic-demo.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/inmates/demos/arm/gic-demo.c b/inmates/demos/arm/gic-demo.c
index dbe48646..084ddc5e 100644
--- a/inmates/demos/arm/gic-demo.c
+++ b/inmates/demos/arm/gic-demo.c
@@ -12,7 +12,6 @@
  * the COPYING file in the top-level directory.
  */
 
-#include <mach.h>
 #include <inmate.h>
 
 #define BEATS_PER_SEC          10
@@ -33,7 +32,7 @@ static void handle_IRQ(unsigned int irqn)
        static u64 min_delta = ~0ULL, max_delta = 0;
        u64 delta;
 
-       if (irqn != TIMER_IRQ)
+       if (irqn != comm_region->timer_irq)
                return;
 
        delta = timer_get_ticks() - expected_ticks;
@@ -58,7 +57,7 @@ void inmate_main(void)
 {
        printk("Initializing the GIC...\n");
        gic_setup(handle_IRQ);
-       gic_enable_irq(TIMER_IRQ);
+       gic_enable_irq(comm_region->timer_irq);
 
        printk("Initializing the timer...\n");
        ticks_per_beat = timer_get_frequency() / BEATS_PER_SEC;
-- 
2.17.0

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to