|
@@ -20,6 +20,7 @@ void apic_init_reset(DeviceState *s);
|
|
void apic_sipi(DeviceState *s);
|
|
void apic_sipi(DeviceState *s);
|
|
void apic_poll_irq(DeviceState *d);
|
|
void apic_poll_irq(DeviceState *d);
|
|
void apic_designate_bsp(DeviceState *d, bool bsp);
|
|
void apic_designate_bsp(DeviceState *d, bool bsp);
|
|
|
|
+int apic_get_highest_priority_irr(DeviceState *dev);
|
|
|
|
|
|
/* pc.c */
|
|
/* pc.c */
|
|
DeviceState *cpu_get_current_apic(void);
|
|
DeviceState *cpu_get_current_apic(void);
|