Lines Matching refs:msgInfo
126 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
132 benchmark_debug_syscall_start(cptr, msgInfo, syscall);
142 void VISIBLE c_handle_fastpath_call(word_t cptr, word_t msgInfo)
148 benchmark_debug_syscall_start(cptr, msgInfo, SysCall);
152 fastpath_call(cptr, msgInfo);
158 void VISIBLE c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply)
160 void VISIBLE c_handle_fastpath_reply_recv(word_t cptr, word_t msgInfo)
167 benchmark_debug_syscall_start(cptr, msgInfo, SysReplyRecv);
172 fastpath_reply_recv(cptr, msgInfo, reply);
174 fastpath_reply_recv(cptr, msgInfo);