Searched refs:Exclaves_L4_SetMessageTag (Results 1 – 2 of 2) sorted by relevance
395 Exclaves_L4_SetMessageTag(Exclaves_L4_MessageTag_t tag) in Exclaves_L4_SetMessageTag() function
674 Exclaves_L4_SetMessageTag(tag); in exclaves_call_upcall_handler()