Searched refs:r4 (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/src/arch/arm/32/ |
| A D | head.S | 92 mrc p15, 4, r4, c1, c0, 0
94 mrc p15, 0, r4, c1, c0, 0
98 orr r4, r4, r5
99 bic r4, r4, r6
115 orr r4, r4, r5
121 mrrc p15, 0, r4, r5, c15
123 bic r4, r4, r6
125 orr r4, r4, r6
126 mcrr p15, 0, r4, r5, c15
142 and r4, r4, #0xff
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | types.h | 15 seL4_Word r2, r3, r4, r5, r6, r7, r14; member
|
Completed in 2 milliseconds