X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_user_host_dev.h;h=2981c55187e8ca747e1fbfe1b19770c24c70a199;hb=92494646e1553eed626597050e1395371a3f9b34;hp=b761773efb7354ac3da7d2d8ecff0a7bb16298d3;hpb=276cfa264720edddc1677e35c6a300596965de7d;p=palacios.git

diff --git a/linux_usr/v3_user_host_dev.h b/linux_usr/v3_user_host_dev.h
index b761773..2981c55 100644
--- a/linux_usr/v3_user_host_dev.h
+++ b/linux_usr/v3_user_host_dev.h
@@ -2,6 +2,7 @@
 #define _V3_USER_HOST_DEV_
 
 #include <stdint.h>
+#include "v3_ctrl.h"
 #include "iface-host-dev.h"
 
 int v3_user_host_dev_rendezvous(char *vmdev, char *url); // returns devfd for use in poll/select
@@ -13,7 +14,11 @@ int v3_user_host_dev_push_response(int devfd, struct palacios_host_dev_host_requ
 
 uint64_t v3_user_host_dev_read_guest_mem(int devfd, void *gpa, void *dest, uint64_t len);
 uint64_t v3_user_host_dev_write_guest_mem(int devfd, void *gpa, void *src, uint64_t len);
-int      v3_user_host_dev_inject_guest_irq(int devfd, uint8_t irq);
+
+// Note that "IRQ" here is context-dependent.  For a legacy device, it is the IRQ
+// For a PCI device, it is the PCI int #, etc.
+int      v3_user_host_dev_raise_guest_irq(int devfd, uint8_t irq);
+int      v3_user_host_dev_lower_guest_irq(int devfd, uint8_t irq);
 
 #endif