FPU_KERN_CTX_DUMMY
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
(ctx->flags & FPU_KERN_CTX_DUMMY) != 0)
KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0,
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
(ctx->flags & FPU_KERN_CTX_DUMMY) != 0)
KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, ("dummy ctx"));
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
(ctx->flags & FPU_KERN_CTX_DUMMY) != 0)
KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0, ("dummy ctx"));
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
(ctx->flags & FPU_KERN_CTX_DUMMY) != 0)
KASSERT((ctx->flags & FPU_KERN_CTX_DUMMY) == 0,