Searched refs:X5 (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/src/arch/arm/64/machine/ |
| A D | registerset.c | 11 X2, X3, X4, X5
20 X0, X1, X2, X3, X4, X5, X6, X7, X8, X16, X17, X18, X29, X30
|
| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | registerset.h | 99 X5 = 5, /* 0x28 */ enumerator
184 [seL4_UnknownSyscall_X5] = X5,\
203 [seL4_TimeoutReply_X5] = X5,\
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | types.bf | 47 field X5 64
|
Completed in 4 milliseconds