FPU_KERN_CTX_FPUINITDONE
ctx->flags |= FPU_KERN_CTX_FPUINITDONE;
if ((ctx->flags & FPU_KERN_CTX_FPUINITDONE) != 0)