sys/arch/arm/vfp/vfp_init.c

425

KASSERT(ci->ci_pcu_curlwp[PCU_FPU] == curlwp);

sys/arch/arm/vfp/vfp_init.c

507

if (curcpu()->ci_pcu_curlwp[PCU_FPU] == curlwp

sys/arch/arm/vfp/vfp_init.c

557

KASSERT(curcpu()->ci_pcu_curlwp[PCU_FPU] == NULL);

sys/arch/arm/vfp/vfp_init.c

578

KASSERT(curcpu()->ci_pcu_curlwp[PCU_FPU] == l);

sys/kern/subr_pcu.c

122

KASSERT(pcu_ci->ci_pcu_curlwp[id] == l);

sys/kern/subr_pcu.c

223

ci->ci_pcu_curlwp[id] = NULL;

sys/kern/subr_pcu.c

241

if (curcpu()->ci_pcu_curlwp[id] != l) {

sys/kern/subr_pcu.c

273

KASSERTMSG(ci->ci_pcu_curlwp[id] == l,

sys/kern/subr_pcu.c

275

__func__, cpu_index(ci), id, ci->ci_pcu_curlwp[id], l);

sys/kern/subr_pcu.c

330

KASSERT(curci->ci_pcu_curlwp[id] == l);

sys/kern/subr_pcu.c

356

if ((oncpu_lwp = curci->ci_pcu_curlwp[id]) != NULL) {

sys/kern/subr_pcu.c

358

KASSERT(curci->ci_pcu_curlwp[id] == NULL);

sys/kern/subr_pcu.c

367

curci->ci_pcu_curlwp[id] = l;

sys/kern/subr_pcu.c

426

if ((l = curcpu()->ci_pcu_curlwp[id]) != NULL) {