Searched refs:r15 (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dtypes.h32 r8, r9, r10, r11, r12, r13, r14, r15; member in struct:seL4_UserContext_
/seL4-mcs-10.1.1/src/arch/x86/64/
H A Dtraps.S111 push %r15; \
490 popq %r15
552 popq %r15
602 push %r15 # save R15 (message register)
645 push %r15 # save R15 (message register)

Completed in 25 milliseconds