Searched refs:Exclaves_L4_GetMessageMr (Results 1 – 2 of 2) sorted by relevance
440 Exclaves_L4_SetMessageMr(i, ~Exclaves_L4_GetMessageMr(i)); in exclaves_test_upcall_handler()480 Exclaves_L4_Word_t reply = Exclaves_L4_GetMessageMr(0); in exclaves_hello_upcall_test()
399 Exclaves_L4_GetMessageMr(Exclaves_L4_Word32_t mr) in Exclaves_L4_GetMessageMr() function