// ReadCpRcCfg - decompiled from Platform.efi
__int64 __fastcall ReadCpRcCfg(__int64 n1024064)
{
  if ( (n1024064 & 0xFFFFFFFFF0000000uLL) != 0 ) /*0x7c38*/
    Assert( /*0x7c4d*/
      (__int64)"e:\\hs\\MdePkg\\Library\\SmmPciExpressLib\\PciExpressLib.c",
      118,
      (__int64)"((Address) & ~0xfffffff) == 0");
  return n1024064 + qword_FF10; /*0x7c5c*/
}