Searched refs:Exclaves_L4_MessageTag (Results 1 – 2 of 2) sorted by relevance
272 Exclaves_L4_MessageTag(Exclaves_L4_Word_t mrs, Exclaves_L4_Word_t crs, Exclaves_L4_Word_t label, in Exclaves_L4_MessageTag() function
739 *tag = Exclaves_L4_MessageTag(mrs, 0, ~label, Exclaves_L4_False); in exclaves_test_upcall_handler()