Searched refs:SaveR10 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
| H A D | x86assembly_masm64.S | 73 SaveR10 QWORD ? label 140 mov r10,[ArgVector.SaveR10+rbp] 176 mov [ArgVector.SaveR10+rbp],r10 204 mov r10,[ArgVector.SaveR10+rbp] |
Completed in 28 milliseconds