Searched defs:x6 (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 | 25 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member in struct:seL4_UserContext_
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | prog_x64_extraScript.sml | 171 val x6 = ("r6",``6w:word4``,``r6:word64``) value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 5308 PolyWord x6; member in struct:__anon44
|
Completed in 68 milliseconds