1#ifndef APIC_H 2#define APIC_H 3 4 5/* apic.c */ 6void apic_deliver_irq(uint8_t dest, uint8_t dest_mode, uint8_t delivery_mode, 7 uint8_t vector_num, uint8_t trigger_mode); 8int apic_accept_pic_intr(DeviceState *s); 9void apic_deliver_pic_intr(DeviceState *s, int level); 10void apic_deliver_nmi(DeviceState *d); 11int apic_get_interrupt(DeviceState *s); 12void apic_reset_irq_delivered(void); 13int apic_get_irq_delivered(void); 14void cpu_set_apic_base(DeviceState *s, uint64_t val); 15uint64_t cpu_get_apic_base(DeviceState *s); 16void cpu_set_apic_tpr(DeviceState *s, uint8_t val); 17uint8_t cpu_get_apic_tpr(DeviceState *s); 18void apic_init_reset(DeviceState *s); 19void apic_sipi(DeviceState *s); 20void apic_poll_irq(DeviceState *d); 21void apic_designate_bsp(DeviceState *d, bool bsp); 22int apic_get_highest_priority_irr(DeviceState *dev); 23 24/* pc.c */ 25DeviceState *cpu_get_current_apic(void); 26 27#endif 28