| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | types.h | 26 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | types.h | 26 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | types.h | 32 r8, r9, r10, r11, r12, r13, r14, r15; member in struct:seL4_UserContext_
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/ |
| H A D | ffi.c | 163 ffi_closure_SYSV(unsigned long r3, unsigned long r4, unsigned long r5, unsigned long r6, unsigned long r7, unsigned long r8) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
| H A D | ffi.c | 451 ffi_closure_unix_inner(ffi_closure *closure, struct ia64_args *stack, void *rvalue, void *r8) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | darwin.S | 81 r8 = fn pointer (ffi_prep_args). define
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | FullUnify.sml | 243 val r8 = tf ``:'v4 # ('a -> 'v4)`` ``:'v3 # 'v3`` value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | selftest.sml | 111 val r8 = reg 8 value
[all...] |
| H A D | arm_random_testingLib.sml | 133 fun r8 p t = case rand_term t function
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | X86CODESIG.sml | 40 and r8: genReg and r9: genReg and r10: genReg and r11: genReg value
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 191 r8 member in struct:__anon15
|
| H A D | EventTo.c | 191 r8 member in struct:__anon27
|
| H A D | RPCFrom.c | 192 r8 member in struct:__anon42
|
| H A D | RPCTo.c | 191 r8 member in struct:__anon57
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 52 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|