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