Searched defs:rbx (Results 1 - 2 of 2) 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/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | X86CODESIG.sml | 41 and rax: genReg and rbx: genReg and rcx: genReg and rdx: genReg value
|
Completed in 43 milliseconds