On 25/10/19 12:46, Peter Maydell wrote: > > x86_register_ferr_irq() is defined in target/i386/fpu_helper.c, > which is only built if CONFIG_TCG, but the callers don't > seem to be similarly guarded and there's no stub fallback.
Indeed, thanks. I'll add an "if (tcg_enabled())" since this feature is not supported by accelerators other than TCG. Paolo
