Searched refs:R9 (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/libs/libmuslc/arch/x32/bits/
H A Dreg.h11 #define R9 8 macro
/seL4-refos-master/libs/libmuslc/arch/x86_64/bits/
H A Dreg.h11 #define R9 8 macro
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/
H A Dreg.h11 #define R9 8 macro
/seL4-refos-master/kernel/src/arch/x86/64/machine/
H A Dregisterset.c13 R10, R8, R9, R15
22 R8, R9, R10, R11, R12, R13, R14, R15
47 context->registers[R9] = 0;
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h49 R9 = 11, /* 0x58 */ enumerator in enum:_register
98 [seL4_UnknownSyscall_R9] = R9,\
130 [seL4_TimeoutReply_R9] = R9,\
/seL4-refos-master/kernel/src/arch/arm/32/machine/
H A Dregisterset.c20 R0, R1, R8, R9, R10, R11, R12
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h87 R9 = 9, enumerator in enum:_register
170 [seL4_TimeoutReply_R9] = R9,\
/seL4-refos-master/kernel/src/arch/x86/64/
H A Dtraps.S599 push %r9 # save R9 (message register)
643 push %r9 # save R9 (message register)

Completed in 103 milliseconds