Searched refs:R9 (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/libs/libmuslc/arch/x32/bits/ |
H A D | reg.h | 11 #define R9 8 macro
|
/seL4-refos-master/libs/libmuslc/arch/x86_64/bits/ |
H A D | reg.h | 11 #define R9 8 macro
|
/seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/ |
H A D | reg.h | 11 #define R9 8 macro
|
/seL4-refos-master/kernel/src/arch/x86/64/machine/ |
H A D | registerset.c | 13 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 D | registerset.h | 49 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 D | registerset.c | 20 R0, R1, R8, R9, R10, R11, R12
|
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 87 R9 = 9, enumerator in enum:_register 170 [seL4_TimeoutReply_R9] = R9,\
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 599 push %r9 # save R9 (message register) 643 push %r9 # save R9 (message register)
|
Completed in 103 milliseconds