Searched refs:X3 (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 | 97 X3 = 3, /* 0x18 */ enumerator
182 [seL4_UnknownSyscall_X3] = X3,\
201 [seL4_TimeoutReply_X3] = X3,\
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | types.bf | 45 field X3 64
|
Completed in 3 milliseconds