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