kern_fp_enter
kern_fp_enter = orig_fp_enter;
extern void (*kern_fp_enter)(void);
orig_fp_enter = kern_fp_enter;
kern_fp_enter = nwfpe_enter;