KFPU_F_INITIALIZED
kfpu->kfpu_flags |= KFPU_F_INITIALIZED;
kfpu->kfpu_flags &= ~KFPU_F_INITIALIZED;
if ((kfpu->kfpu_flags & KFPU_F_INITIALIZED) == 0)