Lines Matching refs:DeviceState
7 int apic_accept_pic_intr(DeviceState *s);
8 void apic_deliver_pic_intr(DeviceState *s, int level);
9 void apic_deliver_nmi(DeviceState *d);
10 int apic_get_interrupt(DeviceState *s);
11 int cpu_set_apic_base(DeviceState *s, uint64_t val);
12 uint64_t cpu_get_apic_base(DeviceState *s);
13 bool cpu_is_apic_enabled(DeviceState *s);
14 void cpu_set_apic_tpr(DeviceState *s, uint8_t val);
15 uint8_t cpu_get_apic_tpr(DeviceState *s);
16 void apic_init_reset(DeviceState *s);
17 void apic_sipi(DeviceState *s);
18 void apic_poll_irq(DeviceState *d);
19 void apic_designate_bsp(DeviceState *d, bool bsp);
20 int apic_get_highest_priority_irr(DeviceState *dev);
23 bool is_x2apic_mode(DeviceState *d);
26 DeviceState *cpu_get_current_apic(void);