ARC_REG_FPU_CTRL
write_aux_reg(ARC_REG_FPU_CTRL, 0x100);
save->ctrl = read_aux_reg(ARC_REG_FPU_CTRL);
write_aux_reg(ARC_REG_FPU_CTRL, restore->ctrl);