FPU_KERN_CTX_INUSE
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx"));
KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0,
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
ctx->flags = FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0,
ctx->flags &= ~FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("freeing in-use ctx"));
KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0,
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
ctx->flags = FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0,
ctx->flags &= ~FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx"));
KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0,
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
ctx->flags = FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0,
ctx->flags &= ~FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx"));
KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0,
ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE;
ctx->flags = FPU_KERN_CTX_INUSE;
KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0,
ctx->flags &= ~FPU_KERN_CTX_INUSE;
KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0,