Searched refs:RBX (Results 1 - 5 of 5) sorted by relevance
/seL4-refos-master/libs/libmuslc/arch/x32/bits/ |
H A D | reg.h | 8 #define RBX 5 macro
|
/seL4-refos-master/libs/libmuslc/arch/x86_64/bits/ |
H A D | reg.h | 8 #define RBX 5 macro
|
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/ |
H A D | reg.h | 8 #define RBX 5 macro
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ |
H A D | registerset.h | 34 RBX = 3, /* 0x18 */ enumerator in enum:_register 91 [seL4_UnknownSyscall_RBX] = RBX,\ 123 [seL4_TimeoutReply_RBX] = RBX,\
|
/seL4-refos-master/kernel/src/arch/x86/64/machine/ |
H A D | registerset.c | 21 FaultIP, RSP, FLAGS, RAX, RBX, RCX, RDX, RSI, RDI, RBP, 40 context->registers[RBX] = 0;
|
Completed in 74 milliseconds