Searched refs:RDI (Results 1 - 7 of 7) sorted by relevance
/seL4-refos-master/libs/libmuslc/arch/x32/bits/ |
H A D | reg.h | 17 #define RDI 14 macro
|
/seL4-refos-master/libs/libmuslc/arch/x86_64/bits/ |
H A D | reg.h | 17 #define RDI 14 macro
|
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/ |
H A D | reg.h | 17 #define RDI 14 macro
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ |
H A D | registerset.h | 28 RDI = 0, /* 0x00 */ enumerator in enum:_register 95 [seL4_UnknownSyscall_RDI] = RDI,\ 127 [seL4_TimeoutReply_RDI] = RDI,\
|
/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, 44 context->registers[RDI] = 0;
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | c_traps.c | 253 : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI]), 299 : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI]) 375 : "r"(&cur_thread->tcbArch.tcbContext.registers[RDI])
|
H A D | traps.S | 610 push %rdi # save RDI (capRegister) 615 # RSI, RDI and RDX are already correct for calling c_handle_syscall 654 push %rdi # save RDI (capRegister) 659 # RSI, RDI are already correct for calling c_handle_syscall
|
Completed in 36 milliseconds