Symbol: FPU_KERN_CTX_FPUINITDONE
sys/amd64/amd64/fpu.c
1185
ctx->flags |= FPU_KERN_CTX_FPUINITDONE;
sys/amd64/amd64/fpu.c
1233
if ((ctx->flags & FPU_KERN_CTX_FPUINITDONE) != 0)