Searched refs:FPU_KERN_CTX_INUSE (Results 1 – 3 of 3) sorted by relevance
55 #define FPU_KERN_CTX_INUSE 0x02 macro265 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()278 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()297 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()307 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()334 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()336 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
1093 #define FPU_KERN_CTX_INUSE 0x04 macro1132 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()1155 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()1182 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1188 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()1215 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()1217 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
1380 #define FPU_KERN_CTX_INUSE 0x04 macro1405 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()1428 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()1454 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()1461 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()1488 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()1490 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()