Searched refs:Exclaves_L4_ErrorCodeCapInvalid (Results 1 – 1 of 1) sorted by relevance
177 Exclaves_L4_ErrorCodeCapInvalid, enumerator195 Exclaves_L4_Error(Exclaves_L4_ErrorCodeCapInvalid, Exclaves_L4_Nil)