Searched refs:Exclaves_L4_Ipc_Mr_Message (Results 1 – 1 of 1) sorted by relevance
317 Exclaves_L4_Ipc_Mr_Message enumerator403 return Exclaves_L4_GetMr(Exclaves_L4_Ipc_Mr_Message + mr); in Exclaves_L4_GetMessageMr()409 Exclaves_L4_SetMr((Exclaves_L4_Ipc_Mr_Message + mr), word); in Exclaves_L4_SetMessageMr()