force_fcr31_sig
void force_fcr31_sig(unsigned long fcr31, void __user *fault_addr,
force_fcr31_sig(fcr31, pc, next); \
force_fcr31_sig(fcr31, fault_addr, current);