Searched refs:r14 (Results 1 – 3 of 3) sorted by relevance
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
A D | types.h | 15 seL4_Word r2, r3, r4, r5, r6, r7, r14; member
|
/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
A D | types.h | 18 r8, r9, r10, r11, r12, r13, r14, r15; member
|
/seL4-master/src/arch/x86/64/ |
A D | traps.S | 112 push %r14; \ 543 popq %r14 603 push %r14 647 push %r14
|
Completed in 4 milliseconds