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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dx86assembly_masm32.S50 SaveCStack DWORD ? ; Saved C stack pointer label
91 mov [ArgVector.SaveCStack+ebp],esp
117 mov esp,[ArgVector.SaveCStack+ebp] ; Restore C stack pointer
H A Dx86assembly_masm64.S57 SaveCStack QWORD ? ; Saved C stack frame label
123 mov [ArgVector.SaveCStack+rcx],rsp ; Save the C stack pointer
183 mov rsp,[ArgVector.SaveCStack+rbp] ; Restore C stack pointer

Completed in 46 milliseconds