Searched refs:r10 (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | types.h | 13 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | types.h | 18 r8, r9, r10, r11, r12, r13, r14, r15; member
|
| /seL4-master/src/arch/arm/32/ |
| A D | hyp_traps.S | 186 mrc HIFAR(r10) /* Get fault address register. */
197 mrc HDFAR(r10) /* Get fault address register. */
208 mrc HIFAR(r10) /* Get fault address register. */
|
| A D | traps.S | 172 mrc p15, 0, r10, c6, c0, 0 /* Get fault address register. */
|
| /seL4-master/src/arch/x86/64/ |
| A D | traps.S | 110 push %r10; \
545 popq %r10
601 push %r10 # save R10 (message register)
645 push %r10 # save R10 (message register)
|
Completed in 6 milliseconds