hw/exynos4210_pwm.c: Fix STOP status in tick handler.

[qemu.git] / hw / xen.h

diff --git a/hw/xen.h b/hw/xen.h
index b46879c6f733ed06886de56ce34b4f7a8cd2266d..e5926b7b8ad52a573bd1124b524733e585f92fac 100644 (file)
--- a/hw/xen.h
+++ b/hw/xen.h
@@ -34,6 +34,7 @@ static inline int xen_enabled(void)
 int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num);
 void xen_piix3_set_irq(void *opaque, int irq_num, int level);
 void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len);
+void xen_hvm_inject_msi(uint64_t addr, uint32_t data);
 void xen_cmos_set_s3_resume(void *opaque, int irq, int level);
 
 qemu_irq *xen_interrupt_controller_init(void);