Searched defs:x12 (Results 1 - 4 of 4) 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_x64Lib.sml | 291 val (x12,x3) = dest_comb x123 value
|
H A D | prog_x64_extraScript.sml | 177 val x12 = ("r12",``12w:word4``,``r12:word64``) value
|
/seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/ |
H A D | x64_multiwordScript.sml | 113 val x12 = ("r12",``12w:word4``,``r12:word64``); value [all...] |
Completed in 98 milliseconds