Searched defs:MCS_REPLY_DECL (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls_syscall.h14 #define MCS_REPLY_DECL register seL4_Word reply_reg asm("r12") = reply macro
17 #define MCS_REPLY_DECL macro

Completed in 27 milliseconds