taglinefilesource code
wm_sqrt105kernel/FPU-emu/fpu_emu.hextern void wm_sqrt(FPU_REG *n, unsigned int control_w);
wm_sqrt289kernel/FPU-emu/fpu_trig.cwm_sqrt(FPU_st0_ptr, control_word);  /* Do the computation */