T_KFPU
curthread->t_flag &= ~T_KFPU;
curthread->t_flag |= T_KFPU;
if ((curthread->t_flag & T_KFPU) != 0) {
if ((curthread->t_flag & T_KFPU) != 0) {
curthread->t_flag |= T_KFPU;
curthread->t_flag |= T_KFPU;
if ((curthread->t_flag & T_KFPU) == 0) {
curthread->t_flag &= ~T_KFPU;
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);
VERIFY0(lwptot(lwp)->t_flag & T_KFPU);