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