Searched refs:Exclaves_L4_SetMessageMr (Results 1 – 2 of 2) sorted by relevance
440 Exclaves_L4_SetMessageMr(i, ~Exclaves_L4_GetMessageMr(i)); in exclaves_test_upcall_handler()466 Exclaves_L4_SetMessageMr(0, request); in exclaves_hello_upcall_test()
405 Exclaves_L4_SetMessageMr(Exclaves_L4_Word32_t mr, Exclaves_L4_Word_t word) in Exclaves_L4_SetMessageMr() function