Searched refs:Exclaves_L4_GetMessageTag (Results 1 – 2 of 2) sorted by relevance
389 Exclaves_L4_GetMessageTag(Exclaves_L4_Void_t) in Exclaves_L4_GetMessageTag() function
677 exclaves_tag_t tag = Exclaves_L4_GetMessageTag(); in exclaves_call_upcall_handler()