KFPU_NO_STATE
kernel_fpu_begin(NULL, KFPU_NO_STATE);
kernel_fpu_end(NULL, KFPU_NO_STATE);
ASSERT((flags & (KFPU_USE_LWP | KFPU_NO_STATE)) !=
(KFPU_USE_LWP | KFPU_NO_STATE));
if ((flags & KFPU_NO_STATE) == KFPU_NO_STATE) {
if ((flags & KFPU_NO_STATE) == 0) {
if ((flags & KFPU_NO_STATE) == 0) {