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