Searched defs:x13 (Results 1 - 2 of 2) 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 | 178 val x13 = ("r13",``13w:word4``,``r13:word64``) value
|
Completed in 36 milliseconds