Searched defs:rdi (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | types.h | 24 seL4_Word rip, rsp, rflags, rax, rbx, rcx, rdx, rsi, rdi, rbp, member in struct:seL4_UserContext_
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibMeter.sml | 96 let val (rdi,log) = new_inference_meter () value
[all...] |
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | X86CODESIG.sml | 42 and rdi: genReg and rsi: genReg and rsp: genReg and rbp: genReg value
|
Completed in 154 milliseconds