FPU_EN
if ((pcb->pcb_fpu.fpu_flags & FPU_EN) == 0) {
cfp->fpu_flags = FPU_EN | FPU_VALID;
(fp->fpu_flags & FPU_EN) == 0) {
fp->fpu_flags = FPU_EN;
ASSERT((fp->fpu_flags & FPU_EN) == 0);
fp->fpu_flags = FPU_EN;
if ((fp->fpu_flags & FPU_EN) == 0) {
kfpu->kfpu_ctx.fpu_flags = FPU_EN | FPU_VALID;
ASSERT((pf->fpu_flags & FPU_EN) == 0);
pf->fpu_flags = FPU_EN | FPU_KERNEL;
f = FPU_EN | FPU_KERNEL;
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == 0) {
if ((fpu->fpu_flags & FPU_EN) == 0) {
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
VERIFY3U(fpu->fpu_flags & FPU_EN, ==, FPU_EN);
VERIFY3U(fpu->fpu_flags & FPU_EN, ==, FPU_EN);
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
ASSERT3U(fpu->fpu_flags & FPU_EN, ==, FPU_EN);
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == 0) {
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
ASSERT3U(fpu->hf_guest_fpu.fpu_flags & FPU_EN, !=, 0);
ASSERT3U(fpu->hf_guest_fpu.fpu_flags & FPU_EN, !=, 0);
fpu->hf_guest_fpu.fpu_flags = FPU_EN | FPU_VALID;
fpu_en = (lwp->lwp_pcb.pcb_fpu.fpu_flags & FPU_EN) != 0;
fpu_en = (lwp->lwp_pcb.pcb_fpu.fpu_flags & FPU_EN) != 0;