Searched defs:x9 (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | types.h | 27 seL4_Word x9, x10, x11, x12, x13, x14, x15, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28; member in struct:seL4_UserContext_
|
| /seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | prog_x64_extraScript.sml | 174 val x9 = ("r9",``9w:word4``,``r9:word64``) value
|
| /seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/ |
| H A D | x64_multiwordScript.sml | 110 val x9 = ("r9",``9w:word4``,``r9:word64``); value
|
Completed in 44 milliseconds