2b85e0cda4
These IRQ counting functions will soon be required in binaries that do not include the APIC code, too, so let's extract them into a separate file that can be linked independently of the APIC code. While we're at it, change the apic_* prefix into kvm_* since the functions are used from the i8259 PIC (i.e. not the APIC), too. Reviewed-by: Bernhard Beschow <shentey@gmail.com> Signed-off-by: Thomas Huth <thuth@redhat.com> Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org> Reviewed-by: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk> Message-Id: <20230110095351.611724-2-thuth@redhat.com> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
26 lines
827 B
C
26 lines
827 B
C
#ifndef APIC_H
|
|
#define APIC_H
|
|
|
|
|
|
/* apic.c */
|
|
void apic_deliver_irq(uint8_t dest, uint8_t dest_mode, uint8_t delivery_mode,
|
|
uint8_t vector_num, uint8_t trigger_mode);
|
|
int apic_accept_pic_intr(DeviceState *s);
|
|
void apic_deliver_pic_intr(DeviceState *s, int level);
|
|
void apic_deliver_nmi(DeviceState *d);
|
|
int apic_get_interrupt(DeviceState *s);
|
|
void cpu_set_apic_base(DeviceState *s, uint64_t val);
|
|
uint64_t cpu_get_apic_base(DeviceState *s);
|
|
void cpu_set_apic_tpr(DeviceState *s, uint8_t val);
|
|
uint8_t cpu_get_apic_tpr(DeviceState *s);
|
|
void apic_init_reset(DeviceState *s);
|
|
void apic_sipi(DeviceState *s);
|
|
void apic_poll_irq(DeviceState *d);
|
|
void apic_designate_bsp(DeviceState *d, bool bsp);
|
|
int apic_get_highest_priority_irr(DeviceState *dev);
|
|
|
|
/* pc.c */
|
|
DeviceState *cpu_get_current_apic(void);
|
|
|
|
#endif
|