Searched refs:RDI (Results 1 - 7 of 7) sorted by relevance

/seL4-refos-master/libs/libmuslc/arch/x32/bits/
H A Dreg.h17 #define RDI 14 macro
/seL4-refos-master/libs/libmuslc/arch/x86_64/bits/
H A Dreg.h17 #define RDI 14 macro
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/
H A Dreg.h17 #define RDI 14 macro
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h28 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 Dregisterset.c21 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 Dc_traps.c253 : "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 Dtraps.S610 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