From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Thu, 17 Jul 2008 00:27:10 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: boots-puppy-iso-to-command-prompt~17
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=e397b873ec2c0d8ac311635f82b1c14191a4b391

*** empty log message ***
---

diff --git a/palacios/src/devices/8254.c b/palacios/src/devices/8254.c
index 65a1e01..7c0de12 100644
--- a/palacios/src/devices/8254.c
+++ b/palacios/src/devices/8254.c
@@ -2,6 +2,7 @@
 #include <palacios/vmm.h>
 #include <palacios/vmm_time.h>
 #include <palacios/vmm_util.h>
+#include <palacios/vmm_intr.h>
 
 
 
@@ -239,7 +240,7 @@ static void pit_update_time(ullong_t cpu_cycles, ullong_t cpu_freq, void * priva
     if (handle_crystal_tics(dev, &(state->ch_0), oscillations) == 1) {
       // raise interrupt
       PrintDebug("8254 PIT: Injecting Timer interrupt to guest\n");
-      dev->vm->vm_ops.raise_irq(dev->vm, 0);
+      v3_raise_irq(dev->vm, 0);
     }
 
     //handle_crystal_tics(dev, &(state->ch_1), oscillations);