// Decompiled: 0xffe070ff
// Function: ReportStatusCode
// Module: TxtPei.efi (TXTPEI)

unsigned __int64 __cdecl ReportStatusCode(unsigned __int64 a1)
{
  unsigned int n0x40; // ecx
  int v2; // eax
  unsigned __int64 v3; // rax
  char n0x40_1; // [esp+0h] [ebp-4h]

  n0x40_1 = n0x40; /*0xffe07103*/
  if ( n0x40 >= 0x40 ) /*0xffe07109*/
  {
    v2 = DebugPrintProtocol(); /*0xffe0710b*/
    if ( v2 ) /*0xffe07112*/
      (*(void (__cdecl **)(const char *, int, const char *))(v2 + 4))( /*0xffe07120*/
        "e:\\hs\\MdePkg\\Library\\BaseLib\\RShiftU64.c",
        39,
        "Count < 64");
  }
  v3 = HIDWORD(a1); /*0xffe0712b*/
  if ( (n0x40_1 & 0x20) == 0 ) /*0xffe07131*/
    v3 = a1; /*0xffe07135*/
  return v3 >> (n0x40_1 & 0x1F); /*0xffe0713d*/
}