Searched refs:R7 (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/kernel/src/arch/arm/32/machine/ |
| H A D | registerset.c | 28 R2, R3, R4, R5, R6, R7, R14,
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 81 R7 = 7, enumerator in enum:_register
155 [seL4_UnknownSyscall_R7] = R7,\
179 [seL4_TimeoutReply_R7] = R7,\
|
Completed in 29 milliseconds