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