Searched defs:x10 (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 | 175 val x10 = ("r10",``10w:word4``,``r10:word64``) value
|
/seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/ |
H A D | x64_multiwordScript.sml | 111 val x10 = ("r10",``10w:word4``,``r10:word64``); value [all...] |
Completed in 42 milliseconds