34c34
< __FBSDID("$FreeBSD: head/sys/i386/isa/npx.c 255040 2013-08-29 19:52:18Z gibbs $");
---
> __FBSDID("$FreeBSD: head/sys/i386/isa/npx.c 267767 2014-06-23 07:37:54Z kib $");
1010a1011
> #define FPU_KERN_CTX_DUMMY 0x02
1053a1055,1058
> if ((flags & FPU_KERN_KTHR) != 0 && is_fpu_kern_thread(0)) {
> ctx->flags = FPU_KERN_CTX_DUMMY;
> return (0);
> }
1072a1078,1079
> if (is_fpu_kern_thread(0) && (ctx->flags & FPU_KERN_CTX_DUMMY) != 0)
> return (0);