[Xen-users] FPU problem

[Takeshi Sone <ts1@xxxxxxxxx>]

artsd fails to start on dom0 with this message:

    ** ERROR **: file ../../../flow/gsl/gslopmaster.c: line 521
    (master_process_flow): assertion failed: (gsl_fpu_okround () == TRUE)
    aborting...

gsl_fpu_okround() is defined as follows:

    static inline int
    gsl_fpu_okround (void)
    {
      GslFpuState cv;

      __asm__ ("fnstcw %0"
               : "=m" (*&cv));
      return !(cv & 0x0c00);
    }

Doesn't this mean Xen fails to save/restore FPU status bits?

Sound driver itself is working well under Xen.

Below is output of cat /proc/cpuinfo, if it helps.

    processor       : 0
    vendor_id       : GenuineIntel
    cpu family      : 6
    model           : 7
    model name      : Pentium III (Katmai)
    stepping        : 2
    cpu MHz         : 501.144
    cache size      : 512 KB
    fdiv_bug        : no
    hlt_bug         : yes
    f00f_bug        : no
    coma_bug        : no
    fpu             : yes
    fpu_exception   : yes
    cpuid level     : 2
    wp              : yes
    flags           : fpu tsc msr pae mce cx8 apic mtrr mca cmov pat pse36 mmx 
fxsr sse
    bogomips        : 999.42

-- 
Takeshi

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-users