|
@@ -1836,9 +1836,9 @@ int x86_cpu_gdb_write_register(CPUState *cpu, uint8_t *buf, int reg);
|
|
|
void x86_cpu_list(void);
|
|
|
int cpu_x86_support_mca_broadcast(CPUX86State *env);
|
|
|
|
|
|
+#ifndef CONFIG_USER_ONLY
|
|
|
int cpu_get_pic_interrupt(CPUX86State *s);
|
|
|
|
|
|
-#ifndef CONFIG_USER_ONLY
|
|
|
/* MSDOS compatibility mode FPU exception support */
|
|
|
void x86_register_ferr_irq(qemu_irq irq);
|
|
|
void fpu_check_raise_ferr_irq(CPUX86State *s);
|