Searched defs:r6 (Results 1 - 13 of 13) 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/examples/formal-languages/lambek/ |
| H A D | ExampleScript.sml | 402 val r6 = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | darwin.S | 79 r6 = ptr to return value. define
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | FullUnify.sml | 241 val r6 = tf ``:'v1 list`` ``:'v1`` value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | selftest.sml | 109 val r6 = reg 6 value
[all...] |
| H A D | arm_random_testingLib.sml | 127 fun r6 p t = case rand_term t function
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 211 r6 member in struct:__anon15
|
| H A D | EventTo.c | 211 r6 member in struct:__anon27
|
| H A D | RPCFrom.c | 212 r6 member in struct:__anon42
|
| H A D | RPCTo.c | 211 r6 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 143 milliseconds