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/arm64/arm64/ |
| H A D | vfp.c | 59 #define FPU_KERN_CTX_INUSE 0x02 macro
1081 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()
1094 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
1113 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1123 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1150 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
1152 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
|
| /freebsd/sys/amd64/amd64/ |
| H A D | fpu.c | 1095 #define FPU_KERN_CTX_INUSE 0x04 macro
1134 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()
1157 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
1184 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1190 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1217 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
1219 ctx->flags &= ~FPU_KERN_CTX_INUSE; in fpu_kern_leave()
|
| /freebsd/sys/i386/i386/ |
| H A D | npx.c | 1361 #define FPU_KERN_CTX_INUSE 0x04 macro
1386 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) == 0, ("free'ing inuse ctx")); in fpu_kern_free_ctx()
1409 KASSERT(ctx == NULL || (ctx->flags & FPU_KERN_CTX_INUSE) == 0, in fpu_kern_enter()
1435 ctx->flags = FPU_KERN_CTX_DUMMY | FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1442 ctx->flags = FPU_KERN_CTX_INUSE; in fpu_kern_enter()
1469 KASSERT((ctx->flags & FPU_KERN_CTX_INUSE) != 0, in fpu_kern_leave()
1471 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()
|