Lines Matching refs:msgInfo
24 void NORETURN fastpath_call(word_t cptr, word_t msgInfo)
39 info = messageInfoFromWord_raw(msgInfo);
45 if (unlikely(fastpath_mi_check(msgInfo) ||
219 msgInfo = wordFromMessageInfo(seL4_MessageInfo_set_capsUnwrapped(info, 0));
221 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread));
231 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply)
233 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo)
251 info = messageInfoFromWord_raw(msgInfo);
257 if (unlikely(fastpath_mi_check(msgInfo) ||
491 msgInfo = wordFromMessageInfo(seL4_MessageInfo_set_capsUnwrapped(info, 0));
493 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread));