* Suresh Siddha <suresh.b.siddha@xxxxxxxxx> wrote:
Somehow (as described below?) TS_USEDFPU is set but the fpu is not allocated or freed.
Please try the appended patch.
i've queued up your fix in tip/x86/urgent. (Git access coordinates: http://people.redhat.com/mingo/tip.git/README)
i'm wondering why this problem was not hit more frequently. Does it need some special FPU use to trigger? Or does it need an exec() with the FPU stack still active? (normally the FPU stack is empty at exec() time)