FPU_store_bcd
extern int FPU_store_bcd(FPU_REG *st0_ptr, u_char st0_tag, u_char __user *d);
if (FPU_store_bcd