Searched defs:x8 (Results 1 - 9 of 9) 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/dev/sw/ |
H A D | IRSyntax.sml | 167 let val x8 = Arbnum.mod(x,Arbnum.fromInt 256) in value
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | IRSyntax.sml | 167 let val x8 = Arbnum.mod(x,Arbnum.fromInt 256) in value
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
H A D | IRSyntax.sml | 167 let val x8 = Arbnum.mod(x,Arbnum.fromInt 256) in value
|
/seL4-l4v-master/HOL4/examples/ARM/v4/ |
H A D | instructionSyntax.sml | 70 let val x8 = Arbnum.mod(x,Arbnum.fromInt 256) in value
|
H A D | assemblerML.sml | 306 let val x8 = Arbnum.mod(x,Arbnum.fromInt 256) in value
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | prog_x64_extraScript.sml | 173 val x8 = ("r8",``8w:word4``,``r8:word64``) value
|
/seL4-l4v-master/HOL4/examples/machine-code/multiword/x64/ |
H A D | x64_multiwordScript.sml | 109 val x8 = ("r8",``8w:word4``,``r8:word64``); value [all...] |
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 5310 PolyWord x8; member in struct:__anon44
|
Completed in 111 milliseconds