Searched refs:FPU_KERN_CTX_NPXINITDONE (Results 1 – 1 of 1) sorted by relevance
1359 #define FPU_KERN_CTX_NPXINITDONE 0x01 macro1444 ctx->flags |= FPU_KERN_CTX_NPXINITDONE; in fpu_kern_enter()1492 if ((ctx->flags & FPU_KERN_CTX_NPXINITDONE) != 0) in fpu_kern_leave()