Searched refs:f64_sqrt (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df64_sqrt.c44 float64_t f64_sqrt( float64_t a ) function
H A Dsoftfloat.h229 float64_t f64_sqrt( float64_t );
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfp_emulation.c125 SET_F64_RD(insn, regs, f64_sqrt(f64(GET_F64_RS1(insn, regs))).v);

Completed in 87 milliseconds