Searched refs:FPU_KERN_CTX_DUMMY (Results 1 – 5 of 5) sorted by relevance
60 #define FPU_KERN_CTX_DUMMY 0x01 /* avoided save for the kern thread */ macro462 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()505 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()507 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, ("dummy ctx")); in fpu_kern_leave()
58 #define FPU_KERN_CTX_DUMMY 0x01 /* avoided save for the kern thread */ macro1113 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1155 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()1157 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, ("dummy ctx")); in fpu_kern_leave()
1094 #define FPU_KERN_CTX_DUMMY 0x02 /* avoided save for the kern thread */ macro1184 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1222 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()1224 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, in fpu_kern_leave()
1360 #define FPU_KERN_CTX_DUMMY 0x02 macro1435 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1474 (ctx->flags & FPU_KERN_CTX_DUMMY) != 0) in fpu_kern_leave()1476 KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, in fpu_kern_leave()
304 #define FPU_KERN_CTX_DUMMY 0x01 /* avoided save for the kern thread */ macro