softfloat_sys_riscv
pub unsafe extern "C" fn extF80_mul( _: extFloat80_t, _: extFloat80_t) -> extFloat80_t