kernel_fpu_end
kernel_fpu_end(NULL, KFPU_USE_LWP);
kernel_fpu_end(NULL, KFPU_NO_STATE);
extern void kernel_fpu_end(kfpu_state_t *, uint_t);