Searched refs:r5 (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/src/arch/arm/32/ |
| A D | head.S | 87 ldr r5, =CPSR_KERNEL
88 msr cpsr_fc, r5
96 ldr r5, =CR_BITS_SET
98 orr r4, r4, r5
114 ldr r5, =BIT(2)
115 orr r4, r4, r5
121 mrrc p15, 0, r4, r5, c15
126 mcrr p15, 0, r4, r5, c15
144 ldr r5, =BIT(CONFIG_KERNEL_STACK_BITS)
145 mul r5, r4
[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 3 milliseconds