Searched refs:FPU_KERN_CTX_DUMMY (Results 1 – 3 of 3) sorted by relevance
54 #define FPU_KERN_CTX_DUMMY 0x01 /* avoided save for the kern thread */ macro297 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()339 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()341 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, ("dummy ctx")); in fpu_kern_leave()
1092 #define FPU_KERN_CTX_DUMMY 0x02 /* avoided save for the kern thread */ macro1182 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1220 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()1222 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, in fpu_kern_leave()
1379 #define FPU_KERN_CTX_DUMMY 0x02 macro1454 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1493 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()1495 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, in fpu_kern_leave()