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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas64.S73 #define Fr_Size 144 /* Must be multiple of 16 to get alignment correct */ define
157 subq $(Fr_Size-56),%rsp # Argument is already in %rcx
159 subq $(Fr_Size-40),%rsp
H A Dx86assembly_gas32.S61 #define Fr_Size 56 define
125 subl $(Fr_Size-12),%esp # Allocate frame
H A Dx86assembly_masm32.S35 Fr_Size EQU 56 define
H A Dx86assembly_masm64.S42 Fr_Size EQU 144 ; Must be multiple of 16 to get alignment correct define

Completed in 88 milliseconds