Searched defs:nfp (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ | ||
H A D | ffi_darwin.c | 398 unsigned nfp = 0; local |
/seL4-l4v-10.1.1/HOL4/src/floating-point/ | ||
H A D | binary_ieeeLib.sml | 166 val nfp = nextfloat fp value |
Completed in 41 milliseconds