Searched defs:FP (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv9.S135 #define FP %fp+STACK_BIAS define
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DFP.sml5 signature FP = signature
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig89 type FP = { FPSCR: FPSCR, REG: BitsN.nbit Map.map } type
441 val FP: FP ref value
H A Darm.sml89 type FP = { FPSCR: FPSCR, REG: BitsN.nbit Map.map } type
1602 val FP = ref value
[all...]

Completed in 172 milliseconds