Searched refs:FPU_KERN_CTX_INUSE (Results 1 – 5 of 5) sorted by relevance
| /freebsd/sys/arm/arm/ |
| H A D | vfp.c | 61 #define FPU_KERN_CTX_INUSE 0x02 macro
430 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("freeing in-use ctx")); in fpu_kern_free_ctx()
443 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
462 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
473 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
500 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
502 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
|
| /freebsd/sys/amd64/amd64/ |
| H A D | fpu.c | 1091 #define FPU_KERN_CTX_INUSE 0x04 macro
1130 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()
1153 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
1180 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1186 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1213 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
1215 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
|
| /freebsd/sys/arm64/arm64/ |
| H A D | vfp.c | 59 #define FPU_KERN_CTX_INUSE 0x02 macro
1078 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()
1091 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
1110 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1120 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1147 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
1149 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
|
| /freebsd/sys/i386/i386/ |
| H A D | npx.c | 1365 #define FPU_KERN_CTX_INUSE 0x04 macro
1390 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()
1413 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
1439 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1446 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1473 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
1475 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
|
| /freebsd/sys/powerpc/powerpc/ |
| H A D | fpu.c | 305 #define FPU_KERN_CTX_INUSE 0x02 macro
318 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
|