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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S83 #define Arg_SaveFP 0x4c define
130 FRSTOR Arg_SaveFP(%ebp)
150 fnsave Arg_SaveFP(%ebp) # Save FP state. Also resets the state so...
151 fldcw Arg_SaveFP(%ebp) # ...load because we need the same rounding mode in the RTS

Completed in 28 milliseconds