Symbol: FPU_KERN_CTX_NPXINITDONE
sys/i386/i386/npx.c
1444
ctx->flags |= FPU_KERN_CTX_NPXINITDONE;
sys/i386/i386/npx.c
1492
if ((ctx->flags & FPU_KERN_CTX_NPXINITDONE) != 0)