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

/seL4-test-master/tools/riscv-pk/softfloat/
H A Df64_div.c44 float64_t f64_div( float64_t a, float64_t b ) function
H A Dsoftfloat.h227 float64_t f64_div( float64_t, float64_t );
/seL4-test-master/tools/riscv-pk/machine/
H A Dfp_emulation.c111 SET_F64_RD(insn, regs, f64_div(f64(rs1), f64(rs2)).v);

Completed in 77 milliseconds