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