2010-03-21 20:46:26 +01:00
|
|
|
#ifndef APIC_H
|
|
|
|
#define APIC_H
|
|
|
|
|
2010-06-19 09:47:42 +02:00
|
|
|
#include "qemu-common.h"
|
|
|
|
|
2010-06-19 09:42:08 +02:00
|
|
|
/* apic.c */
|
2011-08-22 17:46:31 +02:00
|
|
|
void apic_deliver_irq(uint8_t dest, uint8_t dest_mode, uint8_t delivery_mode,
|
|
|
|
uint8_t vector_num, uint8_t trigger_mode);
|
2010-06-19 09:47:42 +02:00
|
|
|
int apic_accept_pic_intr(DeviceState *s);
|
|
|
|
void apic_deliver_pic_intr(DeviceState *s, int level);
|
2011-10-17 18:00:06 +02:00
|
|
|
void apic_deliver_nmi(DeviceState *d);
|
2010-06-19 09:47:42 +02:00
|
|
|
int apic_get_interrupt(DeviceState *s);
|
2010-03-21 20:46:26 +01:00
|
|
|
void apic_reset_irq_delivered(void);
|
|
|
|
int apic_get_irq_delivered(void);
|
2010-06-19 09:47:42 +02:00
|
|
|
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);
|
2012-02-17 18:31:17 +01:00
|
|
|
void apic_handle_tpr_access_report(DeviceState *d, target_ulong ip,
|
|
|
|
TPRAccess access);
|
2010-03-21 20:46:26 +01:00
|
|
|
|
2010-06-19 09:42:34 +02:00
|
|
|
/* pc.c */
|
2012-03-14 01:38:23 +01:00
|
|
|
int cpu_is_bsp(CPUX86State *env);
|
2010-06-19 09:47:42 +02:00
|
|
|
DeviceState *cpu_get_current_apic(void);
|
2010-03-21 20:46:26 +01:00
|
|
|
|
|
|
|
#endif
|