2010-03-21 19:46:26 +00:00
|
|
|
#ifndef APIC_H
|
|
|
|
#define APIC_H
|
|
|
|
|
2010-06-19 07:42:08 +00:00
|
|
|
/* apic.c */
|
|
|
|
typedef struct APICState APICState;
|
2010-03-21 19:46:26 +00:00
|
|
|
void apic_deliver_irq(uint8_t dest, uint8_t dest_mode,
|
|
|
|
uint8_t delivery_mode,
|
|
|
|
uint8_t vector_num, uint8_t polarity,
|
|
|
|
uint8_t trigger_mode);
|
|
|
|
int apic_init(CPUState *env);
|
2010-06-19 07:42:08 +00:00
|
|
|
int apic_accept_pic_intr(APICState *s);
|
|
|
|
void apic_deliver_pic_intr(APICState *s, int level);
|
|
|
|
int apic_get_interrupt(APICState *s);
|
2010-03-21 19:46:26 +00:00
|
|
|
void apic_reset_irq_delivered(void);
|
|
|
|
int apic_get_irq_delivered(void);
|
|
|
|
|
|
|
|
int cpu_is_bsp(CPUState *env);
|
|
|
|
|
|
|
|
#endif
|