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