X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=linux_usr%2Fv3_user_host_dev.h;h=2981c55187e8ca747e1fbfe1b19770c24c70a199;hp=91bbc73dcb637ee14274ab066120001dcbdd85e2;hb=ff0fec756f4800fe869f3dff2f164d3ffcfc83e6;hpb=8e4b89f4bc2e252e0c1bc7cbc52bf1f4ae2e538c

diff --git a/linux_usr/v3_user_host_dev.h b/linux_usr/v3_user_host_dev.h
index 91bbc73..2981c55 100644
--- a/linux_usr/v3_user_host_dev.h
+++ b/linux_usr/v3_user_host_dev.h
@@ -14,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