Searched defs:r10 (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dtypes.h25 r8, r9, r10, r11, r12, r13, r14, r15; member in struct:seL4_UserContext_
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dtypes.h19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dtypes.h19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Dselftest.sml113 val r10 = reg 10 value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/
H A Dcheri_stepLib.sml259 val r10 = assign_bits (10, 0, 5) value
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86CODESIG.sml43 and r8: genReg and r9: genReg and r10: genReg and r11: genReg value
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dgraph_specsLib.sml259 val r10 = ``"r10"`` value
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml1012 val r10 = assign_bits (10, 0, 5) value
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventTo.c191 r10 member in struct:__anon63
H A DEventFrom.c191 r10 member in struct:__anon51
H A DRPCTo.c191 r10 member in struct:__anon93
H A DRPCFrom.c192 r10 member in struct:__anon78
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c48 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_

Completed in 117 milliseconds