// Original function: DebugAssertError
// Address: 0x844
// Signature: __int64 DebugAssertError(__int64 a1, const char *_nASSERT_EFI_ERROR_(Status___%r)_n, ...)

__int64 DebugAssertError(__int64 a1, const char *_nASSERT_EFI_ERROR_(Status___%r)_n, ...)
{
  __int64 result; // rax
  __int64 (__fastcall **v4)(__int64, const char *, __int64 *); // r10
  va_list va; // [rsp+40h] [rbp+18h] BYREF

  va_start(va, _nASSERT_EFI_ERROR_(Status___%r)_n);
  result = GetDebugLibProtocol(); /*0x85b*/
  if ( result ) /*0x866*/
  {
    result = CmosReadComPortType(); /*0x868*/
    if ( ((unsigned int)result & (unsigned int)a1) != 0 ) /*0x873*/
      return (*v4)(a1, _nASSERT_EFI_ERROR_(Status___%r)_n, (__int64 *)va); /*0x882*/
  }
  return result; /*0x885*/
}