FPU_VALID
cfp->fpu_flags = FPU_EN | FPU_VALID;
if (fp->fpu_flags & FPU_VALID)
fp->fpu_flags |= FPU_VALID;
if (!fp || fp->fpu_flags & FPU_VALID ||
fp->fpu_flags |= FPU_VALID;
fp->fpu_flags &= ~FPU_VALID;
if (fp->fpu_flags & FPU_VALID)
ASSERT((fp->fpu_flags & FPU_VALID) == 0);
kfpu->kfpu_ctx.fpu_flags = FPU_EN | FPU_VALID;
ASSERT3U(pf->fpu_flags & FPU_VALID, ==, 0);
ASSERT3U(pf->fpu_flags & FPU_VALID, ==, 0);
pf->fpu_flags |= FPU_VALID;
ASSERT3U(pf->fpu_flags & FPU_VALID, !=, 0);
ASSERT3U(pf->fpu_flags & FPU_VALID, !=, 0);
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == 0) {
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)) == FPU_EN) {
if ((fpu->fpu_flags & (FPU_EN | FPU_VALID)) == FPU_EN) {
fpu->fpu_flags |= FPU_VALID;
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) {
fpu->fpu_flags |= FPU_VALID;
ASSERT3U(fpu->hf_guest_fpu.fpu_flags & FPU_VALID, !=, 0);
fpu->hf_guest_fpu.fpu_flags &= ~FPU_VALID;
fpu->fpu_flags |= FPU_VALID;
ASSERT3U(fpu->hf_guest_fpu.fpu_flags & FPU_VALID, ==, 0);
fpu->hf_guest_fpu.fpu_flags = FPU_EN | FPU_VALID;