| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/ |
| H A D | sysv.S | 123 r5 = closure pointer (loaded in r10 by the trampoline) define
|
| /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 void ffi_closure_SYSV(unsigned long r3, unsigned long r4, unsigned long r5, argument
|
| /seL4-l4v-10.1.1/HOL4/examples/formal-languages/lambek/ |
| H A D | ExampleScript.sml | 366 val r5 = value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | darwin.S | 78 r5 = cif flags. define
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | FullUnify.sml | 240 val r5 = tf ``:'v1 list`` ``:'v3 # 'v1`` value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | selftest.sml | 108 val r5 = reg 5 value
[all...] |
| H A D | arm_random_testingLib.sml | 121 fun r5 p t = case rand_term t function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/step/ |
| H A D | cheri_stepLib.sml | 258 val r5 = assign_bits (5, 0, 5) value
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | normalForms.sml | 428 val r5 = HO_REWR_CONV (GSYM RIGHT_FORALL_OR_THM); value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/ |
| H A D | mips_stepLib.sml | 1010 val r5 = assign_bits (5, 0, 5) value
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 209 r5 member in struct:__anon15
|
| H A D | EventTo.c | 209 r5 member in struct:__anon27
|
| H A D | RPCFrom.c | 210 r5 member in struct:__anon42
|
| H A D | RPCTo.c | 209 r5 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_
|