Searched refs:Exclaves_L4_GetMessageMr (Results 1 – 2 of 2) sorted by relevance
401 Exclaves_L4_GetMessageMr(Exclaves_L4_Word32_t mr) in Exclaves_L4_GetMessageMr() function
724 Exclaves_L4_SetMessageMr(i, ~Exclaves_L4_GetMessageMr(i)); in exclaves_test_upcall_handler()