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

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A DextF80M_to_f32.c49 return extF80_to_f32( *aPtr );
H A DextF80_to_f32.c44 float32_t extF80_to_f32( extFloat80_t a ) function
H A Dsoftfloat.h258 float32_t extF80_to_f32( extFloat80_t );

Completed in 30 milliseconds