i8259 chip will use it, so provide it, and export it through pc.h
Signed-off-by: Glauber Costa <glom...@redhat.com>
---
hw/apic.c | 5 +++++
hw/pc.h | 1 +
2 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/hw/apic.c b/hw/apic.c
index 87e7dc0..482bb1e 100644
--- a/hw/apic.c
+++ b/hw/apic.c
@@ -388,6 +388,11 @@ void apic_reset_irq_delivered(void)
apic_irq_delivered = 0;
}
+void apic_set_irq_delivered(void)
+{
+ apic_irq_delivered = 1;
+}
+
int apic_get_irq_delivered(void)
{
return apic_irq_delivered;
diff --git a/hw/pc.h b/hw/pc.h
index a3ad931..4c9b4c3 100644
--- a/hw/pc.h
+++ b/hw/pc.h
@@ -47,6 +47,7 @@ int apic_get_interrupt(CPUState *env);
qemu_irq *ioapic_init(void);
void ioapic_set_irq(void *opaque, int vector, int level);
void apic_reset_irq_delivered(void);
+void apic_set_irq_delivered(void);
int apic_get_irq_delivered(void);
qemu_irq *kvm_ioapic_init(void);
--
1.6.2.5
