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 Dtypes.h27 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 Dprog_x64Lib.sml291 val (x12,x3) = dest_comb x123 value
H A Dprog_x64_extraScript.sml177 val x12 = ("r12",``12w:word4``,``r12:word64``) value
/seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/
H A Dx64_multiwordScript.sml113 val x12 = ("r12",``12w:word4``,``r12:word64``); value
[all...]

Completed in 55 milliseconds