Searched defs:r7 (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | types.h | 28 seL4_Word r2, r3, r4, r5, r6, r7, r14; 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 | 28 seL4_Word r2, r3, r4, r5, r6, r7, r14; 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/powerpc/ |
| H A D | darwin.S | 80 r7 = fn pointer (user func). define
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | FullUnify.sml | 242 val r7 = tf ``:'v4 # ('v5 list)`` ``:'v3 # 'v4`` value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | selftest.sml | 110 val r7 = reg 7 value
|
| H A D | arm_random_testingLib.sml | 130 fun r7 p t = case rand_term t function
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 213 r7 member in struct:__anon15
|
| H A D | EventTo.c | 213 r7 member in struct:__anon27
|
| H A D | RPCFrom.c | 214 r7 member in struct:__anon42
|
| H A D | RPCTo.c | 213 r7 member in struct:__anon57
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 54 seL4_Word r2, r3, r4, r5, r6, r7, r14; member in struct:seL4_UserContext_
|
Completed in 297 milliseconds