2010-03-21 22:46:26 +03:00
|
|
|
#ifndef APIC_H
|
|
|
|
#define APIC_H
|
|
|
|
|
2010-06-19 11:47:42 +04:00
|
|
|
|
2010-06-19 11:42:08 +04:00
|
|
|
/* apic.c */
|
2024-01-11 18:43:59 +03:00
|
|
|
void apic_set_max_apic_id(uint32_t max_apic_id);
|
2010-06-19 11:47:42 +04:00
|
|
|
int apic_accept_pic_intr(DeviceState *s);
|
|
|
|
void apic_deliver_pic_intr(DeviceState *s, int level);
|
2011-10-17 20:00:06 +04:00
|
|
|
void apic_deliver_nmi(DeviceState *d);
|
2010-06-19 11:47:42 +04:00
|
|
|
int apic_get_interrupt(DeviceState *s);
|
2024-01-11 18:44:00 +03:00
|
|
|
int cpu_set_apic_base(DeviceState *s, uint64_t val);
|
2010-06-19 11:47:42 +04:00
|
|
|
uint64_t cpu_get_apic_base(DeviceState *s);
|
2024-01-06 16:25:45 +03:00
|
|
|
bool cpu_is_apic_enabled(DeviceState *s);
|
2010-06-19 11:47:42 +04:00
|
|
|
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);
|
2012-07-09 18:42:32 +04:00
|
|
|
void apic_poll_irq(DeviceState *d);
|
2015-04-02 02:58:36 +03:00
|
|
|
void apic_designate_bsp(DeviceState *d, bool bsp);
|
2017-09-13 12:05:15 +03:00
|
|
|
int apic_get_highest_priority_irr(DeviceState *dev);
|
2024-01-11 18:43:58 +03:00
|
|
|
int apic_msr_read(int index, uint64_t *val);
|
|
|
|
int apic_msr_write(int index, uint64_t val);
|
|
|
|
bool is_x2apic_mode(DeviceState *d);
|
2010-03-21 22:46:26 +03:00
|
|
|
|
2010-06-19 11:42:34 +04:00
|
|
|
/* pc.c */
|
2010-06-19 11:47:42 +04:00
|
|
|
DeviceState *cpu_get_current_apic(void);
|
2010-03-21 22:46:26 +03:00
|
|
|
|
|
|
|
#endif
|